2662 search results - page 145 / 533 » Tools Demonstrations |
138
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...
136
click to vote
ICWL
2010
Springer
15 years 2 months ago
2010
Springer
Content development for adaptive educational systems is known to be an error-prone task. Gaps can occur when the content is created, modified or when the context of its usage chang...
156
click to vote
KBSE
2010
IEEE
15 years 2 months ago
2010
IEEE
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
125
Voted
SAFECOMP
2009
Springer
15 years 11 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
132
click to vote
ICWS
2008
IEEE
15 years 5 months ago
2008
IEEE
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...