3414 search results - page 110 / 683 » System Support for Object Groups |
156
click to vote
TOOLS
1999
IEEE
15 years 7 months ago
1999
IEEE
Scientific visualization and simulation frameworks mostly use data/event flow mechanisms for simulation specification, control, and interactivity. Even though object orientation p...
147
click to vote
CIKM
1994
Springer
15 years 7 months ago
1994
Springer
This paper argues that most queries in object-oriented databases require traversing from one object to another in the aggregation hierarchy. Thus, the connections between objects ...
104
Voted
SAINT
2003
IEEE
15 years 8 months ago
2003
IEEE
Building on previous work of the OASIS group at SICS, this paper presents a generic peer-to-peer system for the sView personal service platform. The sView platform provides each u...
118
click to vote
DAGSTUHL
2007
15 years 4 months ago
2007
Abstract. This chapter presents a formalization of functional and behavioural requirements, and a refinement of requirements to a design for CoCoME using the Relational Calculus o...
116
click to vote
ENTCS
2006
15 years 3 months ago
2006
We introduce a rewrite-based specification language for modelling probabilistic concurrent and distributed systems. The language, based on PMaude, has both a rigorous formal basis...