846 search results - page 137 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
ISORC
2000
IEEE
15 years 2 months ago
2000
IEEE
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
120
click to vote
CF
2008
ACM
15 years 1 months ago
2008
ACM
To meet growing terabit link rates, highly parallel and scalable architectures are needed for IP lookup engines in next generation routers. This paper proposes an SRAM-based multi...
103
click to vote
REST
2010
ACM
15 years 27 days ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
99
Voted
DOA
2001
15 years 14 days ago
2001
There are many challenges in devising solutions for online content processing of live networked multimedia sessions. These include content analysis under uncertainty (evidence of ...
SLP
1994
15 years 12 days ago
1994
We consider a hierarchy of modal event calculi to represent and reason about partially ordered events. These calculi are based on the model of time and change of Kowalski and Sergo...