1878 search results - page 112 / 376 » The Vienna Abstract Machine |
115
click to vote
ERSHOV
2006
Springer
15 years 6 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...
110
click to vote
ESA
2010
Springer
15 years 3 months ago
2010
Springer
We consider parameterized convex optimization problems over the unit simplex, that depend on one parameter. We provide a simple and efficient scheme for maintaining an -approximat...
107
Voted
ECEASST
2008
15 years 2 months ago
2008
Abstract: We describe the programming system for the graph-transformation lan, focusing on the implementation of its compiler and abstract machine. We also compare the system'...
131
click to vote
JVM
2004
15 years 4 months ago
2004
e a new operating system abstraction for partitioning systems, allowing multiple applications to run in isolation from each other on the same physical hardware. This isolation prev...
163
Voted
APSEC
2007
IEEE
15 years 9 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...