100 search results - page 8 / 20 » Abstract State Machines: a unifying view of models of comput... |
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
GI
2009
Springer
13 years 11 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...
RTSS
2000
IEEE
13 years 11 months ago
2000
IEEE
While early research on real-time computing was concerned with guaranteeing avoidance of undesirable effects such as overload and deadline misses, adaptive real-time systems are d...
FC
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. The security of any computer system that is configured or operated by human beings critically depends on the information conveyed by the user interface, the decisions of...
IJCV
2007
13 years 7 months ago
2007
We derive a family of kernels on dynamical systems by applying the Binet-Cauchy theorem to trajectories of states. Our derivation provides a unifying framework for all kernels on d...