5113 search results - page 610 / 1023 » Model-integrated system development: models, architecture, a... |
153
click to vote
ENTCS
2007
15 years 6 months ago
2007
We discuss the tensions between intensionality and extensionality of spatial observations in distributed systems, showing that there are natural models where extensional observati...
186
click to vote
TSE
2008
15 years 6 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
160
click to vote
VISUALIZATION
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a computer modeling and simulation system that supports computational steering, which is an effort to make the typical simulation workflow more efficient. O...
176
click to vote
IADIS
2004
15 years 8 months ago
2004
One of the most important topics in modern Internet-based multimedia e-learning systems oriented towards teachers, students and learners in general, is the treatment of informatio...
213
click to vote
IPPS
2005
IEEE
16 years 13 days ago
2005
IEEE
Conventional performance evaluation mechanisms focus on dedicated distributed systems. Grid computing infrastructure, on another hand, is a shared collaborative environment constr...