10072 search results - page 182 / 2015 » Composition of Model Programs |
188
click to vote
STOC
2002
ACM
16 years 7 months ago
2002
ACM
A fundamental problem of distributed computing is that of simulating a secure broadcast channel, within the setting of a point-to-point network. This problem is known as Byzantine...
168
click to vote
APN
2009
Springer
16 years 1 months ago
2009
Springer
In the world of Service Oriented Architectures, one deals with networks of cooperating components. A component offers services; to deliver a service it possibly needs services of ...
201
click to vote
ISMAR
2008
IEEE
16 years 1 months ago
2008
IEEE
To achieve a realistic integration of virtual and real imagery in video see-through augmented reality, the rendered images should have a similar appearance and quality to those ca...
185
click to vote
TPDS
2002
15 years 6 months ago
2002
This paper considers a technique for composing global (barrier-style) and local (channel scanning) synchronization protocols within a single parallel discrete-event simulation. Com...
188
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
—The paper addresses modular hierarchical design (composition) of a management system for smart homes. The management system consists of security subsystem (access control, alarm...