2004 search results - page 78 / 401 » Comparison of Model Checking Tools for Information Systems |
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
Workflows often operate in volatile environments in which the component services’ QoS changes frequently. Optimally adapting to these changes becomes an important problem that ...
INEX
2007
Springer
15 years 6 months ago
2007
Springer
This paper exposes the results of our participation at INEX’07 in the AdHoc track and the comparison of these results with respect to the ones obtained last year. Three runs were...
ACSC
2001
IEEE
15 years 3 months ago
2001
IEEE
Management of system requirements and system architectures is part of any software engineering project. But it is usually very tedious and error prone. In particular, managing the...
ICFEM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
CHI
2010
ACM
15 years 6 months ago
2010
ACM
We investigate the use of on-line contextual video assistance to improve the learnability of software functionality. After discussing motivations and design goals for such forms o...