Sciweavers

911 search results - page 82 / 183
» The Semantics of Event Prevention
Sort
View
RTAS
2007
IEEE
15 years 4 months ago
A Programming Model for Time-Synchronized Distributed Real-Time Systems
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
Yang Zhao, Jie Liu, Edward A. Lee
ICPR
2000
IEEE
15 years 2 months ago
Database Architecture for Autonomous Transportation Agents for On-Scene Networked Incident Management (ATON)
A collection of distributed databases forms an important architectural component of the ATON project for networked incidence management of highway traffic. The database sub-archit...
Mohan M. Trivedi, Shailendra K. Bhonsle, Amarnath ...
CODASPY
2012
13 years 5 months ago
Deriving implementation-level policies for usage control enforcement
Usage control is concerned with how data is used after access to it has been granted. As such, it is particularly relevant to end users who own the data. System implementations of...
Prachi Kumari, Alexander Pretschner
77
Voted
OTM
2005
Springer
15 years 3 months ago
Architecting Ontology for Scalability and Versatility
Abstract. This paper discusses methodological strategies for architecting ontologies. The development context is an EC IST project, aimed at the use of ontology to help detect and ...
Gang Zhao, Robert Meersman
SP
1996
IEEE
118views Security Privacy» more  SP 1996»
15 years 2 months ago
A Fair Non-repudiation Protocol
: This paper examines the Zhou-Gollmann fair non-repudiation protocol as well as its modified version of Kim et al. We describe how these protocols are vulnerable to an attack by a...
Jianying Zhou, Dieter Gollmann