2776 search results - page 64 / 556 » System-Level Abstraction Semantics |
140
Voted
LICS
2006
IEEE
15 years 8 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...
109
Voted
ASM
2000
ASM
15 years 7 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 ...
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...
118
Voted
ICS
1999
Tsinghua U.
15 years 6 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...
128
Voted
EXPERT
2006
15 years 2 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 ...