4460 search results - page 622 / 892 » Formal methods for interactive systems |
162
click to vote
ECBS
2005
IEEE
16 years 6 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
190
click to vote
ISPW
2005
IEEE
16 years 4 days ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
170
click to vote
IMR
2004
Springer
15 years 12 months ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
170
click to vote
AAAI
2007
15 years 9 months ago
2007
Much of artificial intelligence research is focused on devising optimal solutions for challenging and well-defined but highly constrained problems. However, as we begin creating...
130
click to vote
CANDC
2007
ACM
15 years 8 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...