360 search results - page 47 / 72 » Communication synthesis for distributed embedded systems |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
In this paper we consider the k-set agreement problem in distributed round-based systems where processes communicate by message passing. We capture the synchrony and reliability o...
EUROSSC
2007
Springer
14 years 1 months ago
2007
Springer
An increasing number of computationally enhanced objects is distributed around us in physical space, which are equipped – or at least can be provided – with sensors for measuri...
ICDCSW
2007
IEEE
13 years 11 months ago
2007
IEEE
Currently, flexible service compositions are invoked in a centralised manner by process execution engines. Although this approach is widely used for orchestrating web services, it...
ADAEUROPE
2008
Springer
14 years 2 months ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...
MDM
2007
Springer
14 years 1 months ago
2007
Springer
Smart environments and wearables will make the storage and subsequent sharing of digitized multimedia diaries and meeting protocols – whom we meet, or what we say or do – chea...