1382 search results - page 211 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
HF
2002
14 years 9 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
CONTEXT
2007
Springer
15 years 4 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
FMCO
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
IWPC
2002
IEEE
15 years 2 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...