3414 search results - page 110 / 683 » System Support for Object Groups |
103
click to vote
TOOLS
1999
IEEE
15 years 2 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...
100
click to vote
CIKM
1994
Springer
15 years 2 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 ...
63
Voted
SAINT
2003
IEEE
15 years 3 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...
DAGSTUHL
2007
14 years 11 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...
ENTCS
2006
14 years 10 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...