1369 search results - page 64 / 274 » Graphical Design of Reactive Systems |
138
click to vote
GRAPHICSINTERFACE
2009
15 years 3 months ago
2009
We present Drive, a system for the conceptual layout of 3D path networks. Our sketch-based interface allows users to efficiently author path layouts with minimal instruction. Our ...
152
click to vote
AUTOMOTIVEUI
2009
ACM
15 years 10 months ago
2009
ACM
Nowadays, personal navigation devices (PNDs) that provide GPSbased directions are widespread in vehicles. These devices typically display the real-time location of the vehicle on ...
167
click to vote
ESORICS
2002
Springer
16 years 5 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
153
click to vote
CGI
2003
IEEE
15 years 11 months ago
2003
IEEE
Visualization of distributed processes is useful for the management of large-scale distributed computing systems. Reactivity and scalability are especially important requirements ...
147
click to vote
IJCNN
2006
IEEE
16 years 1 days ago
2006
IEEE
– When subjected to transient disturbances in the power grid, the variable frequency converter (VFC) is the most sensitive part in the variable-speed wind turbine generator syste...