Sciweavers

1643 search results - page 19 / 329
» Consistability: Describing Usually Consistent Systems
Sort
View
DEXA
1993
Springer
86views Database» more  DEXA 1993»
13 years 11 months ago
Object-oriented Database Management Systems for Construction of CASE Environments
We argue that a fully object-oriented database management system is a very suitable basis of every modern CASE environment. We describe how the features provided by an OODBMS are e...
Wolfgang Emmerich, Petr Kroha, Wilhelm Schäfe...
DEXAW
2007
IEEE
94views Database» more  DEXAW 2007»
14 years 1 months ago
A system for summary-document similarity in notary domain
In this paper we propose a methodology to perform a comparison between a legal document and its related handwritten summary. We thus describe the algorithms that verify when a hum...
Carmine Cesarano, Antonino Mazzeo, Antonio Picarie...
RTS
2002
111views more  RTS 2002»
13 years 7 months ago
Robust Adaptive Metrics for Deadline Assignment in Distributed Hard Real-Time Systems
Distributed real-time applications usually consist of several component tasks and must be completed by its end-to-end (E-T-E) deadline. As long as the E-T-E deadline of an applicat...
Jan Jonsson, Kang G. Shin
JOT
2010
144views more  JOT 2010»
13 years 5 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
FORMATS
2006
Springer
13 years 11 months ago
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling
Abstract. Real-time systems usually encompass parts that are best described by a continuous-time model, such as physical processes under control, together with other components tha...
Carlo A. Furia, Matteo Rossi