704 search results - page 66 / 141 » A new approach in feature interaction testing |
VAMOS
2009
Springer
14 years 2 months ago
2009
Springer
In software product line engineering, feature models enable to automate the generation of productspecific models in conjunction with domain “base models” (e.g. UML models). T...
ITP
2010
13 years 11 months ago
2010
Abstract. This paper presents a new HOL4 formalization of the current ARM instruction set architecture, ARMv7. This is a modern RISC architecture with many advanced features. The f...
IVA
2009
Springer
14 years 2 months ago
2009
Springer
Currently, applications that focus on providing conversations with virtual humans require extensive work to create robust conversational models. We present a new approach called Hu...
AGENTS
2001
Springer
14 years 5 days ago
2001
Springer
This paper describes an agent-based artificial market system whose underlying interaction protocols provide advanced features. Using the system, actors (i.e., customers and mercha...
SIGGRAPH
1998
ACM
13 years 12 months ago
1998
ACM
Finding effective interactive deformation techniques for complex geometric objects continues to be a challenging problem in modeling and animation. We present an approach that is ...