Sciweavers

1393 search results - page 113 / 279
» From Models to Interactive Systems Tool Support and XIML
Sort
View
CORR
2004
Springer
142views Education» more  CORR 2004»
15 years 6 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer
POPL
2008
ACM
16 years 6 months ago
Systems biology, models, and concurrency
Models will play a central role in the representation, storage, manipulation, and communication of knowledge in systems biology. Models capable of fulfilling such a role will like...
Walter Fontana
CHI
2006
ACM
16 years 6 months ago
The design of an interactive and dynamic representation of the firm
Interpretation and audit of financial information is a significant undertaking that must rest on a fuller understanding of the firm and its operations. A pictorial representation ...
Lin Zhao, Julia Grant, Fred L. Collopy
ECIS
2001
15 years 7 months ago
Design of Web-Based Information Systems - New Challenges for Systems Development?
The web-technology is going through major changes these years, both with respect to types of systems based on web-technology, organization of the development work, required approa...
Peter H. Carstensen, Lasse Vogelsang
MM
2004
ACM
104views Multimedia» more  MM 2004»
15 years 12 months ago
Supporting continuous consistency in multiplayer online games
Multiplayer online games have become very popular in recent years. However, they generally suffer from network latency problem. If a player changes its states, it will take some ...
Frederick W. B. Li, Lewis W. F. Li, Rynson W. H. L...