1884 search results - page 174 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
139
click to vote
CBSE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Automata-based interface and protocol specifications provide an elegant framework to capture and automatically verify the interactive behavior of component-based software...
PAM
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents the Clarified system for passive network . It is based on capturing complete packet history and abstracting it in form of different interactive high-level visua...
PSSS
2003
15 years 2 months ago
2003
Abstract: In this paper we describe the knOWLer System - an ontology-based information system. The knOWLer project focuses on the aspects of making ontologies available to real wor...
102
click to vote
ICDCS
2008
IEEE
15 years 7 months ago
2008
IEEE
— Checkpointing is an indispensable technique to provide fault tolerance for long-running high-throughput applications like those running on desktop grids. This paper argues that...
118
click to vote
OTM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Context-aware systems represent extremely complex and heterogeneous distributed systems, composed of sensors, actuators, application components, and a variety of context ...