733 search results - page 63 / 147 » Active Automation of the DITSCAP |
WETICE
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper describes the architecture and concept of operation of a Framework for Adaptive Process Modeling and Execution (FAME). The research addresses the absence of robust meth...
WETICE
1997
IEEE
15 years 1 months ago
1997
IEEE
Though the service of shared virtual worlds is an active area of research, little effort has been made to optimize such systems for urban world spaces. Tracking the motion, action...
ADAEUROPE
1997
Springer
15 years 1 months ago
1997
Springer
The systematic test is an inevitable part of the verification and validation process for software. Overall support for all testing activities is currently not available in a singl...
108
click to vote
ATVA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
Nowadays, many different organizations which operate in the Web distributed environment become more and more dependent on services to automate their activities and to improve thei...