911 search results - page 80 / 183 » The Semantics of Event Prevention |
105
click to vote
FMSD
2007
14 years 9 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
ESWS
2010
Springer
15 years 2 months ago
2010
Springer
Semantic Web policies are general statements defining the behavior of a system that acts on behalf of real users. These policies have various applications ranging from dynamic age...
IUI
2006
ACM
15 years 3 months ago
2006
ACM
Information workers are often involved in multiple tasks and activities that they must perform in parallel or in rapid succession. In consequence, task management itself becomes y...
EKAW
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we explore the use of location aware mobile devices for searching and browsing a large number of general and cultural heritage information repositories. Based on GPS ...
EJC
2007
14 years 11 months ago
2007
instrumental roles in titles of medical abstracts: a combined conceptual and modelling UML approach Topic – This paper provides a detailed description of the instrumental role in...