16666 search results - page 2850 / 3334 » Descriptive and Computational Complexity |
192
click to vote
CIA
2004
Springer
16 years 10 days ago
2004
Springer
We are investigating how to provide intelligent, pervasive support of group of people within so-called “smart environments”. Our current main assumption, based on literature in...
193
click to vote
CMSB
2004
Springer
16 years 10 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
166
click to vote
COCO
2004
Springer
16 years 10 days ago
2004
Springer
This paper studies quantum Arthur–Merlin games, which are Arthur–Merlin games in which Arthur and Merlin can perform quantum computations and Merlin can send Arthur quantum in...
175
click to vote
CONCUR
2004
Springer
16 years 10 days ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
204
click to vote
DALT
2004
Springer
16 years 10 days ago
2004
Springer
Ad hoc networks may be viewed as computational systems whose members may fail to, or choose not to, comply with the rules governing their behaviour. We are investigating to what ex...