2776 search results - page 451 / 556 » System-Level Abstraction Semantics |
177
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Collections play an important part in everyday life. Therefore, conceptual data models should support collection types to make data modeling as natural as possible for it...
181
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
New technologies used in biology are generating huge quantities of data; up to two petabytes of overall data are to be expected by the end of the decade. Modern biology also has t...
148
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
159
click to vote
FCT
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
169
click to vote
FMCO
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...