1884 search results - page 174 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
198
click to vote
CBSE
2008
Springer
15 years 8 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...
144
click to vote
PAM
2009
Springer
16 years 1 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...
147
click to vote
PSSS
2003
15 years 7 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...
158
click to vote
ICDCS
2008
IEEE
16 years 29 days 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...
186
click to vote
OTM
2005
Springer
16 years 2 hour 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 ...