Sciweavers

670 search results - page 79 / 134
» Modeling Workflow within Distributed Systems
Sort
View
116
Voted
COORDINATION
2009
Springer
16 years 3 months ago
Assume-Guarantee Verification of Concurrent Systems
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...
Liliana D'Errico, Michele Loreti
261
Voted
RTAS
2011
IEEE
14 years 6 months ago
Deterministic and Stochastic QoS Provision for Real-Time Control Systems
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...
Daniele Fontanelli, Luigi Palopoli, Luca Greco
116
Voted
ATAL
2007
Springer
15 years 8 months ago
A generative inquiry dialogue system
The majority of existing work on agent dialogues considers negotiation, persuasion or deliberation dialogues. We focus on inquiry dialogues that allow two agents to share knowledg...
Elizabeth Black, Anthony Hunter
219
Voted
ICDE
2005
IEEE
154views Database» more  ICDE 2005»
16 years 3 months ago
Deep Store: an Archival Storage System Architecture
We present the Deep Store archival storage architecture, a large-scale storage system that stores immutable data efficiently and reliably for long periods of time. Archived data i...
Lawrence You, Kristal T. Pollack, Darrell D. E. Lo...
140
Voted
COOPIS
2003
IEEE
15 years 7 months ago
Ontology Based Query Processing in Database Management Systems
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
Chokri Ben Necib, Johann Christoph Freytag