816 search results - page 112 / 164 » Automating Verification by Functional Abstraction at the Sys... |
TROB
2002
13 years 8 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
ISVC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Virtual agents are used to interact with humans in a myriad of applications. However, the agents often lack the believability necessary to maximize their effectiveness. T...
GI
2009
Springer
13 years 6 months ago
2009
Springer
Abstract: The integration of EMIS and ERP-systems has been recognized as an important step towards a holistic and long-term oriented environmental management. A number of research ...
LPAR
2005
Springer
14 years 2 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
FIW
2003
13 years 10 months ago
2003
We report on a property-based approach to feature interaction analysis for a client-server email system. The model is based upon Hall’s email model [12] presented at FIW’00 [3]...