3091 search results - page 479 / 619 » The Microsoft Relational Engine |
166
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
We elaborate on the mathematical foundations of the meaning coordination problem that agents face in open environments. We investigate to which extend the BarwiseSeligman theory o...
167
click to vote
CBSE
2005
Springer
15 years 12 months ago
2005
Springer
In existing component models, control originates in components, and connectors are channels for passing on the control to other components. This provides a mechanism for message pa...
192
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
An optimistic acknowledgment (opt-ack) is an acknowledgment sent by a misbehaving client for a data segment that it has not received. Whereas previous work has focused on opt-ack ...
190
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
162
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...