2123 search results - page 124 / 425 » Composition of Cyber-Physical Systems |
168
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
Complex applications in many areas, including scientific computations and business-related web services, are created from collections of components to form workflows. In many case...
187
click to vote
ECOOP
2001
Springer
15 years 9 months ago
2001
Springer
Features are essential characteristic of applications within a product line. Features organized in different kinds of diagrams containing hierarchies of feature trees are closely ...
145
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
150
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...
170
click to vote
MBEES
2008
15 years 6 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...