10263 search results - page 117 / 2053 » From Use Cases to System Operation Specifications |
108
click to vote
SAFECOMP
2009
Springer
15 years 4 months ago
2009
Springer
The advanced electric power grid is a cyber-physical system comprised of physical components such as transmission lines and generators and a network of embedded systems deployed fo...
109
click to vote
CASES
2008
ACM
14 years 12 months ago
2008
ACM
We present a novel loop transformation technique, particularly well suited for optimizing embedded compilers, where an increase in compilation time is acceptable in exchange for s...
CCR
2004
14 years 9 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper presents an approach for comprehending large software systems using views that are created by subjecting the software systems to dynamic analysis under various use-case...
ISSRE
2008
IEEE
15 years 4 months ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...