2696 search results - page 60 / 540 » Semantic Abstraction and Anaphora |
ERSHOV
2006
Springer
15 years 1 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...
ICS
1999
Tsinghua U.
15 years 2 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...
EXPERT
2006
14 years 9 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 ...
SAMT
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. We briefly describe the results of an experimental study on the incremental creation of context out of the results of targeted queries, and discuss the increase in retri...
ECMDAFA
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper we introduce an aspect language that can define crosscutting e