247 search results - page 12 / 50 » A Dynamic Operational Semantics for JVML |
202
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
FOAL
2007
ACM
15 years 1 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
DEXAW
1997
IEEE
15 years 1 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
COORDINATION
2004
Springer
15 years 3 months ago
2004
Springer
There has been significant recent interest in exploring the role of coordination languages as middleware for distributed systems. These languages provide operations that allow pro...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...