3429 search results - page 315 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
128
click to vote
KI
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
132
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
One approach to moderating the expected behaviour of agents in open societies is the use of explicit languages for defining norms, conditional commitments and/or social expectation...
147
click to vote
DEXA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we present the BPAL platform that includes a logicbased language for business process (BP) modeling and a reasoning mechanism providing support for several ...
132
click to vote
CCS
2001
ACM
15 years 9 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
152
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...