Sciweavers

367 search results - page 53 / 74
» Executable Specifications for Real-Time Distributed Systems
Sort
View
ICDE
2008
IEEE
146views Database» more  ICDE 2008»
14 years 9 months ago
DIPBench Toolsuite: A Framework for Benchmarking Integration Systems
So far the optimization of integration processes between heterogeneous data sources is still an open challenge. A first step towards sufficient techniques was the specification of ...
Dirk Habich, Matthias Böhm, Uwe Wloka, Wolfga...
SIGMOD
1989
ACM
118views Database» more  SIGMOD 1989»
13 years 11 months ago
The Architecture Of An Active Data Base Management System
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
Dennis R. McCarthy, Umeshwar Dayal
OPODIS
2004
13 years 9 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis
COORDINATION
2006
Springer
13 years 11 months ago
Automated Evaluation of Coordination Approaches
How to coordinate the processes in a complex component-based software system is a nontrivial issue. Many different coordination approaches exist, each with its own specific advanta...
Tibor Bosse, Mark Hoogendoorn, Jan Treur
AMAI
2004
Springer
13 years 7 months ago
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
Wamberto Weber Vasconcelos, David Stuart Robertson...