6167 search results - page 117 / 1234 » Can Refinement be Automated |
156
click to vote
ECMDAFA
2010
Springer
15 years 9 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
166
click to vote
USENIX
2008
15 years 6 months ago
2008
A common approach to benchmarking a server is to measure its behavior under load from a workload generator. Often a set of such experiments is required-perhaps with different serv...
119
click to vote
SPLC
2007
15 years 5 months ago
2007
Abstract—Product-line architectures (PLAs) designed for mobile devices create a unique challenge for automated product variant selection engines since variants must be derived on...
135
click to vote
CADE
2001
Springer
16 years 4 months ago
2001
Springer
We propose the notion of rewriting modules in order to provide a structural and hierarchical approach of TRS. We define then relative dependency pairs built upon these modules whic...
119
click to vote
ICDCSW
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the design and use of distributed pipelines for automated processing of sensor data streams. In particular, we focus on the detection and extraction of meanin...