2607 search results - page 299 / 522 » On the Architecture of System Verification Environments |
150
click to vote
CCS
2001
ACM
15 years 11 months ago
2001
ACM
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
178
click to vote
JUCS
2006
15 years 6 months ago
2006
Abstract: As enterprises worldwide race to improve real-time management to improve productivity, customer services and flexibility, huge resources have been invested into enterpris...
219
click to vote
CONCUR
1998
Springer
15 years 11 months ago
1998
Springer
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
201
click to vote
VEE
2005
ACM
16 years 6 days ago
2005
ACM
We present a new software system architecture for the implementation of hard real-time applications. The core of the system is a microkernel whose reactivity (interrupt handling a...
194
click to vote
OWLED
2008
15 years 8 months ago
2008
In this paper we present the basic requirements and initial design of a system which manages and facilitates changes to an OWL ontology in a multi-editor environment. This system u...