2152 search results - page 243 / 431 » On Automating the Calculus of Relations |
130
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Component platforms play a major role in current distributed information systems. As these systems evolve, components need to be upgraded without breaking the consistency of compo...
156
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
This paper extends for the first time semantic interpretation tools to infinite data in order to ensure Input/Output upper bounds on first order Haskell like programs on streams...
144
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
We discuss a robotic system composed of Crystalline modules. Crystaline modules can aggregate together to form distributed robot systems. Crystalline modules can move relative to ...
191
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
165
click to vote
BNCOD
2004
15 years 7 months ago
2004
This technical report describes the XML data integration framework being built within the AutoMed heterogeneous data integration system. It presents a description of the overall f...