5630 search results - page 278 / 1126 » Computability in Specification |
181
click to vote
ATC
2006
Springer
15 years 10 months ago
2006
Springer
Self-healing relies on correct diagnosis of system malfunctioning. This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-s...
159
click to vote
DSVIS
2006
Springer
15 years 10 months ago
2006
Springer
Usability evaluation methods are a battery of techniques for assessing the usability of interactive systems or of proposed interactive systems. This paper describes a new evaluatio...
173
click to vote
ERSHOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The token flow semantics of UML 2 activity diagrams is formally defined using Abstract State Machines. Interruptible activity regions and multiplicity bounds for pins are...
183
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Performance analysis of high performance systems is a difficult task. Current tools have proven successful in analysis tasks but their implementation is limited in several respects...
151
click to vote
PPSN
2000
Springer
15 years 10 months ago
2000
Springer
A family of recombination operators is studied in this work. These operators are based on keeping and using certain information about the past evolution of the algorithm to guide t...