1585 search results - page 124 / 317 » A framework for computer-aided validation |
146
click to vote
ISCOPE
1998
Springer
15 years 7 months ago
1998
Springer
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
130
Voted
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The use of Feature Models (FMs) to define the valid combinations of features in Software Product Lines (SPL) is becoming commonplace. To enhance the scalability of FMs, ...
133
Voted
AIMSA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper describes two approaches to integrating standalone information processing techniques into a semantic application capable of acquiring and maintaining knowledge...
127
click to vote
SI3D
1995
ACM
15 years 7 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
125
click to vote
AI
2006
Springer
15 years 5 months ago
2006
Springer
Assistance to people suffering from cognitive deficiencies in a smart home raises complex issues. Plan recognition is one of them. We propose a formal framework for the recognition...