Sciweavers

4096 search results - page 253 / 820
» An Object Model for Interoperable Systems
Sort
View
TVCG
2010
155views more  TVCG 2010»
15 years 3 months ago
TanGeoMS: Tangible Geospatial Modeling System
—We present TanGeoMS, a tangible geospatial modeling visualization system that couples a laser scanner, projector, and a flexible physical three-dimensional model with a standar...
Laura Tateosian, Helena Mitásová, Br...
ATAL
2009
Springer
15 years 10 months ago
GDT4MAS: an extension of the GDT model to specify and to verify MultiAgent systems
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
Bruno Mermet, Gaële Simon
ICSE
2001
IEEE-ACM
15 years 10 months ago
State, Event, Time and Diagram in System Modeling
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
Jin Song Dong
ACSD
2003
IEEE
125views Hardware» more  ACSD 2003»
15 years 10 months ago
Modelling a Secure, Mobile, and Transactional System with CO-OPN
Modelling complex concurrent systems is often difficult and error-prone, in particular when new concepts coming from advanced practical applications are considered. These new appl...
Didier Buchs, Stanislav Chachkov, David Hurzeler
JAVA
2000
Springer
15 years 9 months ago
Efficient replicated method invocation in Java
We describe a new approach to object replication in Java, aimed at improving the performance of parallel programs. Our programming model allows the programmer to define groups of ...
Jason Maassen, Thilo Kielmann, Henri E. Bal