Sciweavers

1037 search results - page 47 / 208
» Compositional Variability - Concepts and Patterns
Sort
View
ISSTA
1998
ACM
15 years 7 months ago
Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
Tevfik Bultan, Richard Gerber, Christopher League
FASE
2012
Springer
13 years 10 months ago
Integration Testing of Software Product Lines Using Compositional Symbolic Execution
Software product lines are families of products defined by feature commonality and variability, with a well-managed asset base. Recent work in testing of software product lines ha...
Jiangfan Shi, Myra B. Cohen, Matthew B. Dwyer
ER
2003
Springer
158views Database» more  ER 2003»
15 years 8 months ago
Analysis of Web Services Composition Languages: The Case of BPEL4WS
Abstract. Web services composition is an emerging paradigm for application integration within and across organizational boundaries. A landscape of languages and techniques for web ...
Petia Wohed, Wil M. P. van der Aalst, Marlon Dumas...
NIPS
2003
15 years 4 months ago
A Holistic Approach to Compositional Semantics: A Connectionist Model and Robot Experiments
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...
Yuuya Sugita, Jun Tani
AAAI
2007
15 years 5 months ago
A Modular Action Description Language for Protocol Composition
Protocols are modular abstractions that capture patterns of interaction among agents. The compelling vision behind protocols is to enable creating customized interactions by refi...
Nirmit Desai, Munindar P. Singh