298 search results - page 4 / 60 » A relational algebraic framework for models management |
CISIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
112
click to vote
ICSEA
2008
IEEE
15 years 8 months ago
2008
IEEE
Despite progress in model engineering, modeling large distributed systems is still a long and complex task. This paper outlines a methodology based on UML to make the modeling of ...
114
click to vote
TOOLS
1999
IEEE
15 years 6 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
112
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
143
Voted
POPL
2010
ACM
15 years 11 months ago
2010
ACM
We report on our experience implementing a lightweight, fully verified relational database management system (RDBMS). The functional specification of RDBMS behavior, RDBMS impleme...