2650 search results - page 370 / 530 » Simulation and Control of Reactive Systems |
154
click to vote
SASO
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Unstructured peer-to-peer networks can be extremely flexible, but, because of size, complexity, and high variability in peers’ capacity and reliability, it is a conti...
151
click to vote
VALUETOOLS
2006
ACM
15 years 9 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
130
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
136
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
143
click to vote
ICIC
2005
Springer
15 years 9 months ago
2005
Springer
This paper describes the architecture of a computer system conceived as an intelligent assistant for public transport management. The goal of the system is to help operators of a c...