726 search results - page 50 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
NORDICHI
2006
ACM
15 years 5 months ago
2006
ACM
The evaluation of e-learning applications deserves special attention and evaluators need effective methodologies and appropriate guidelines to perform their task. We have proposed...
108
click to vote
ECBS
2005
IEEE
15 years 5 months ago
2005
IEEE
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
133
click to vote
CIBSE
2008
ACM
15 years 1 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
FMOODS
2003
15 years 1 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...