Sciweavers

1484 search results - page 4 / 297
» Modelling with Relational Calculus of Object and Component S...
Sort
View
DBPL
2003
Springer
120views Database» more  DBPL 2003»
14 years 24 days ago
A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions
Over the last fifteen years, database management systems (DBMSs) have been enhanced by the addition of rule-based programming to obtain active DBMSs. One of the greatest challeng...
Iluju Kiringa, Raymond Reiter
ER
1999
Springer
155views Database» more  ER 1999»
13 years 12 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc
TCS
2008
13 years 7 months ago
Spatial-behavioral types for concurrency and resource control in distributed systems
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
Luís Caires
IS
2008
13 years 7 months ago
DFL: A dataflow language based on Petri nets and nested relational calculus
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
Jan Hidders, Natalia Kwasnikowska, Jacek Sroka, Je...
SIGMETRICS
2006
ACM
102views Hardware» more  SIGMETRICS 2006»
14 years 1 months ago
On the way to a distributed systems calculus: an end-to-end network calculus with data scaling
Network calculus is a min-plus system theory which facilitates the efficient derivation of performance bounds for networks of queues. It has successfully been applied to provide e...
Markus Fidler, Jens B. Schmitt