Sciweavers

10072 search results - page 182 / 2015
» Composition of Model Programs
Sort
View
STOC
2002
ACM
159views Algorithms» more  STOC 2002»
16 years 6 months ago
On the composition of authenticated byzantine agreement
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...
Yehuda Lindell, Anna Lysyanskaya, Tal Rabin
APN
2009
Springer
16 years 29 days ago
Compositional Service Trees
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 ...
Wil M. P. van der Aalst, Kees M. van Hee, Peter Ma...
ISMAR
2008
IEEE
16 years 23 days ago
Compositing for small cameras
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...
Georg Klein, David W. Murray
TPDS
2002
104views more  TPDS 2002»
15 years 6 months ago
Composite Synchronization in Parallel Discrete-Event Simulation
This paper considers a technique for composing global (barrier-style) and local (channel scanning) synchronization protocols within a single parallel discrete-event simulation. Com...
David M. Nicol, Jason Liu
178
Voted
CORR
2011
Springer
188views Education» more  CORR 2011»
15 years 1 months ago
Composition of Management System for Smart Homes
—The paper addresses modular hierarchical design (composition) of a management system for smart homes. The management system consists of security subsystem (access control, alarm...
Mark Sh. Levin, Aliaksei Andrushevich, Alexander K...