846 search results - page 143 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
CADE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Classifying finite algebraic structures has been a major motivation behind much research in pure mathematics. Automated techniques have aided in this process, but this ha...
75
Voted
PODS
2008
ACM
15 years 11 months ago
2008
ACM
Active XML is a high-level specification language tailored to dataintensive, distributed, dynamic Web services. Active XML is based on XML documents with embedded function calls. ...
74
Voted
PERCOM
2008
ACM
15 years 10 months ago
2008
ACM
The IEEE 802.15.4 standard defines a set of procedures to set-up a Low-Rate Wireless Personal Area Network where nodes self-organize into a logical communication structure through ...
85
Voted
PERCOM
2007
ACM
15 years 10 months ago
2007
ACM
Overlay Networks (ONs) are logical networks built on top of a physical network with the aim of moving part of the routing complexity to the application layer. At the same time, sen...
79
Voted
PERCOM
2006
ACM
15 years 10 months ago
2006
ACM
Pervasive systems are complex distributed systems containing heterogeneous and mobile devices, services and applications. Policy-based management is an effective approach for mana...