6756 search results - page 413 / 1352 » Distributed Shared State |
207
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
168
click to vote
RTAS
2005
IEEE
16 years 11 days ago
2005
IEEE
As computer systems become increasingly internetworked, there is a growing class of distributed realtime embedded (DRE) applications that have characteristics and present challeng...
204
click to vote
WMTE
2005
IEEE
16 years 11 days ago
2005
IEEE
Individual, unaided human abilities are constrained. Media have helped us to transcend boundaries in thinking, working, learning, and collaborating by supporting distributed intel...
183
click to vote
COCOON
2005
Springer
16 years 10 days ago
2005
Springer
This paper gives a quantum algorithm to search in an set S for a k-tuple satisfying some predefined relation, with the promise that some components of a desired k-tuple are in som...
149
click to vote
POLICY
2004
Springer
16 years 4 days ago
2004
Springer
A major hurdle in sharing resources between organizations is heterogeneity. Therefore, in order for two organizations to collaborate their policies have to be resolved. The proces...