2135 search results - page 212 / 427 » An Operational Semantics for JavaScript |
157
click to vote
APN
2001
Springer
15 years 8 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
125
click to vote
AMAST
2008
Springer
15 years 5 months ago
2008
Springer
ed Abstract an extended abstract of [11]. Service-oriented computing is emerging as a new paradigm based on autonomous, platform-independent computational entities, called services...
121
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Multi-relational networks are used extensively to structure knowledge. Perhaps the most popular instance, due to the widespread adoption of the Semantic Web, is the Resource Descr...
131
Voted
MICS
2010
15 years 1 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
176
Voted
TAOSD
2010
15 years 1 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...