783 search results - page 115 / 157 » Compositional Reasoning in Model Checking |
RTCSA
2005
IEEE
14 years 3 months ago
2005
IEEE
Context-aware middleware encompasses uniform ions and reliable services for common operations, supports for most of the tasks involved in dealing with context, and thus simplifyin...
COMPSAC
2004
IEEE
14 years 1 months ago
2004
IEEE
: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point of view, within the framework of action syst...
AAAI
1997
13 years 11 months ago
1997
Our goal is to build knowledge-based systems capable of answering a wide variety of questions, including questions that are unanticipated when the knowledge base is built. For sys...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
This paper focuses on the performance evaluation of the parallel manipulators for milling of composite materials. For this application the most significant performance measurement...