485 search results - page 61 / 97 » Modular Visitor Components |
HYBRID
2007
Springer
14 years 3 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
INFOCOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— The General Internet Signaling Transport (GIST) protocol is currently being developed as the base protocol component in the IETF Next Steps In Signaling (NSIS) protocol stack t...
ECBS
2005
IEEE
14 years 2 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
OTM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we present a novel approach to design and implement applications that provide location-aware services. We show how a clear separation of design concerns (e....
ITS
2004
Springer
14 years 2 months ago
2004
Springer
RMT (Research Methods Tutor) is a dialog-based tutoring system that has a dual role. Its modular architecture enables the interchange and evaluation of different tools and techniq...