1323 search results - page 27 / 265 » Extended Modeling Languages for Interaction Protocol Design |
113
click to vote
FORTE
2004
15 years 3 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
122
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
What sort of democracies should open agent societies be? We present three normative models of democracy from political philosophy and consider their relevance for the engineering o...
127
click to vote
GPCE
2009
Springer
15 years 6 months ago
2009
Springer
Synchronization is a good candidate for an aspect in aspectoriented programming (AOP) since programmers have to choose the best granularity of synchronization for the underlying h...
137
click to vote
ASAP
2008
IEEE
15 years 8 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
107
click to vote
ERSHOV
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...