5639 search results - page 489 / 1128 » Timed Abstract Non-interference |
112
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
154
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. During the last two decades, monads have become an indispensable tool for structuring functional programs with computational effects. In this setting, the mathematical n...
152
Voted
ESORICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The design and implementation of security threat mitigation mechanisms in RFID systems, specially in low-cost RFID tags, are gaining great attention in both industry and ...
143
Voted
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. In this paper, we consider hybrid models of mechanical systems undergoing impacts — Lagrangian hybrid systems, and study their periodic orbits in the presence of Zeno b...
121
click to vote
ICDCN
2009
Springer
15 years 11 months ago
2009
Springer
One of the main appeals of mobile sensors is the variety of environments in which they can operate as an autonomous network. Different environments, however, present different ch...