851 search results - page 64 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
161
click to vote
ENTCS
2010
15 years 6 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...
144
click to vote
DAIS
2010
15 years 7 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...
168
click to vote
PARELEC
2000
IEEE
15 years 10 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...
153
click to vote
GLOBECOM
2006
IEEE
16 years 6 days 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...
186
click to vote
ICC
2009
IEEE
16 years 27 days 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 ...