1728 search results - page 136 / 346 » Formal Modeling of Process Migration |
95
Voted
GLVLSI
2009
IEEE
15 years 8 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...
198
Voted
ICDE
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract-- Our demonstration introduces a novel system architecture which massively facilitates optimization in data stream management systems (DSMS). The basic idea is to decouple...
111
Voted
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
The paper introduces Self-Replicating Objects (SROs), a new nt programming abstraction. An SRO is implemented and used much like an ordinary .NET object and can expose arbitrary us...
141
Voted
LICS
2012
IEEE
13 years 3 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
112
Voted
UML
2000
Springer
15 years 4 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...