851 search results - page 64 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
127
click to vote
ENTCS
2010
15 years 3 months ago
2010
Interface automata are a model that allows for the representation of stateful interfaces. In this paper we introduce a variant of interface automata, which we call interface struc...
111
Voted
DAIS
2010
15 years 4 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
143
click to vote
PARELEC
2000
IEEE
15 years 7 months ago
2000
IEEE
The purpose of this paper consists of demonstrating an implementation methodology of sequential and distributed simulations using Java programming: two specific algorithms based o...
120
click to vote
GLOBECOM
2006
IEEE
15 years 9 months ago
2006
IEEE
– The Madeira project, part of the Celtic Initiative1 , investigates the use of a fully distributed, policy-based network management framework that exploits the peer-to-peer para...
148
Voted
ICC
2009
IEEE
15 years 10 months ago
2009
IEEE
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...