3429 search results - page 286 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
156
click to vote
JODL
2000
15 years 4 months ago
2000
We propose an electronic marketplace architecture, called MOPPET, where the commerce processes in the marketplace are modeled as adaptable agent-based workflows. The higher level ...
136
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
This paper proposes an Ontology-based Rights Expression Language, called OREL. Based on OWL Web Ontology Language, OREL allows not only users but also machines to handle digital r...
132
click to vote
SEFM
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...
130
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
119
click to vote
IMPERIAL
1993
15 years 8 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...