2776 search results - page 64 / 556 » System-Level Abstraction Semantics |
151
Voted
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
116
click to vote
ASM
2000
ASM
15 years 8 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
131
Voted
ERSHOV
2006
Springer
15 years 7 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...
127
click to vote
ICS
1999
Tsinghua U.
15 years 8 months ago
1999
Tsinghua U.
This paper presents a mathematical framework to exploit the semantic properties of matrix operations in loop-based numerical codes. The heart of this framework is an algebraic lan...
138
Voted
EXPERT
2006
15 years 3 months ago
2006
ing organizational abstractions as first-class citizens in the design process.2,3 So, a promising approach would be to combine Semantic Web services4 and agent technologies5,6 for ...