125 search results - page 11 / 25 » The Formal Simulation Semantics of SystemVerilog |
112
click to vote
EDOC
2005
IEEE
15 years 5 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
IANDC
2008
14 years 11 months ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...
106
click to vote
CAISE
2001
Springer
15 years 4 months ago
2001
Springer
The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it resorts to semantic loopholes in the form of “uninter...
IEEEICCI
2006
IEEE
15 years 5 months ago
2006
IEEE
Knowledge representation is essential for semantics modeling and intelligent information processing. For decades researchers have proposed many knowledge representation techniques...
JUCS
2008
14 years 11 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...