3053 search results - page 340 / 611 » Structured Objects: Modeling and Reasoning |
131
click to vote
IFIPTCS
2000
15 years 7 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
131
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper presents our work in the context of the Adaptive Resource Management (ARM) internal research project at the University of Milano-Bicocca, Italy. The project addresse...
212
click to vote
SIGMOD
2004
ACM
16 years 4 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
137
click to vote
ANSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Functional prototypes and simulations are a well recognised and valued tool for building a shared understanding of requirements between users and developers. However, the developm...
158
click to vote
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Research on Moving Object Databases (MOD) has resulted in sophisticated query mechanisms for moving objects and regions. Wireless Sensor Networks (WSN) support a wide range of app...