2713 search results - page 74 / 543 » Parameterized Tree Systems |
97
Voted
CAV
2008
Springer
15 years 2 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
101
Voted
INFOCOM
2006
IEEE
15 years 6 months ago
2006
IEEE
— Network protocol system fingerprinting has been recognized as an important issue and a major threat to network security. Prevalent works rely largely on human experiences and i...
104
Voted
MMM
2005
Springer
15 years 6 months ago
2005
Springer
Currently most systems capable of performing intelligent camera control use cinematographic idioms or a constraint satisfaction mechanism to determine a sequence of camera configu...
85
Voted
CIKM
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we suggest a new approach to analysis and design of IR systems. We argue for design space exploration in constructing IR systems and in analyzing the effects of ind...
95
Voted
MMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In order to construct and deploy massively multiagent systems, we must address one of the fundamental issues of distributed systems, the possibility of partial failures. ...