Sciweavers

732 search results - page 94 / 147
» A Formal Model of Provenance in Distributed Systems
Sort
View
ISORC
2009
IEEE
15 years 4 months ago
Marte CCSL to Execute East-ADL Timing Requirements
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
Frédéric Mallet, Marie-Agnès ...
ADBIS
2005
Springer
163views Database» more  ADBIS 2005»
15 years 3 months ago
XML Databases and Beyond - Plenty of Architectural Challenges Ahead
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
Theo Härder
CSIE
2009
IEEE
14 years 7 months ago
The Pilot Way to Grid Resources Using glideinWMS
Grid computing has become very popular in big and widespread scientific communities with high computing demands, like high energy physics. Computing resources are being distribute...
Igor Sfiligoi, Daniel C. Bradley, Burt Holzman, Pa...
DEBS
2007
ACM
15 years 1 months ago
Modeling the communication costs of content-based routing: the case of subscription forwarding
Content-based routing (CBR) provides the core distribution support of several middleware paradigms, most notably content-based publish-subscribe. Despite its popularity, however, ...
Stefano Castelli, Paolo Costa, Gian Pietro Picco
SPIN
2007
Springer
15 years 3 months ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat