163 search results - page 3 / 33 » Executable HybridUML and Its Application to Train Control Sy... |
HASE
2005
IEEE
15 years 3 months ago
2005
IEEE
Checking various temporal requirements is a key dependability concern in safety-critical systems. As modelchecking approaches do not scale well to systems of high complexity the r...
SOSP
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes an efficient and robust approach to provide a safe execution environment for an entire operating system, such as Linux, and all its applications. The approach...
AAMAS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
ECP
1997
Springer
15 years 1 months ago
1997
Springer
Systems that act autonomously in the environment have to be able to integrate three basic behaviors: planning, execution, and learning. Planning involves describing a set of action...
ICAC
2006
IEEE
15 years 3 months ago
2006
IEEE
— The increasing heterogeneity, dynamism, and uncertainty of emerging DCE (Distributed Computing Environment) systems imply that an application must be able to detect and adapt t...