12373 search results - page 131 / 2475 » Semi-Logarithmic Number Systems |
149
click to vote
ATVA
2004
Springer
15 years 10 months ago
2004
Springer
— This paper considers the state feedback control of parameterized discrete event systems consisting of N similar processes for the problem of maintaining a predicate on the stat...
116
Voted
DALT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We propose a declarative framework for modelling multi-agent systems and specify a number of properties of these systems and agents within them. The framework is parametr...
155
click to vote
INTELLCOMM
2004
Springer
15 years 10 months ago
2004
Springer
We present the design, implementation and evaluation of a location detection system built over a Radio Frequency network based on the IEEE 802.11 standard. Our system employs beac...
136
click to vote
NPC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A fault tolerant parallel virtual file system is designed and implemented to provide high I/O performance and high reliability. A queuing model is used to analyze in deta...
140
click to vote
TCC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the well-known simulatability approach of modern cryptography...