911 search results - page 125 / 183 » The Semantics of Event Prevention |
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
104
click to vote
EMS
2008
IEEE
14 years 11 months ago
2008
IEEE
Threat modeling plays an important role in the deployment of optimal security controls and a number of threat modeling techniques have been proposed. However, most of the existing...
DAGSTUHL
1998
14 years 11 months ago
1998
Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a ...
JASIS
2000
14 years 9 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...
113
click to vote
ESWS
2009
Springer
14 years 7 months ago
2009
Springer
Many applications operate on time-sensitive data. Some of these data are only valid for certain intervals (e.g., job-assignments, versions of software code), others describe tempor...