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 7 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
162
Voted
CHI
2006
ACM
16 years 7 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 8 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»
16 years 9 days 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...