575 search results - page 17 / 115 » Transition systems for designing and reasoning about norms |
GRAPHICSINTERFACE
2007
15 years 23 days ago
2007
Many visualizations use smoothly animated transitions to help the user interact with information structures. These transitions are intended to preserve perceptual constancy during...
190
click to vote
POPL
2005
ACM
15 years 11 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...
105
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
100
click to vote
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort...
ICSOC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. A stochastic extension of COWS is presented. First the formalism is given an operational semantics leading to finitely branching transition systems. Then its syntax and ...