73 search results - page 8 / 15 » Grapheur: A Software Architecture for Reactive and Interacti... |
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
TON
2012
11 years 10 months ago
2012
—Multiparty interactive network applications such as teleconferencing, network gaming, and online trading are gaining popularity. In addition to end-to-end latency bounds, these ...
ICSEA
2007
IEEE
14 years 1 months ago
2007
IEEE
The development of network-attached devices has ushered in an era of autonomous, multi-function equipment demanding minimal human interaction: the only requirements are data and e...
GECCO
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. The current trend in Embedded Systems (ES) design is moving towards the integration of increasingly complex applications on a single chip. An Embedded System has to satis...
AROBOTS
1998
13 years 7 months ago
1998
Off-road autonomous navigation is one of the most difficult automation challenges from the point of view of constraints on mobility, speed of motion, lack of environmental structur...