3429 search results - page 206 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
130
click to vote
UML
1998
Springer
15 years 8 months ago
1998
Springer
UML provides very little support for modelling evolvable or reusable specifications and designs. To cope with this problem, the UML needs to be extended with support for reuse and ...
129
click to vote
ATAL
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. In this paper, we describe the Cognitive Agents Specification Language (CASL), and exhibit its characteristics by using it to model the multiagent feature interaction re...
155
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
130
click to vote
VLDB
1991
ACM
15 years 7 months ago
1991
ACM
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
105
click to vote
DBA
2004
15 years 5 months ago
2004
This paper discusses how to extend the applicability of the recursive cascade update command of the Xplain query language. This command guarantees termination because cycle detect...