2373 search results - page 19 / 475 » The Design of the Zinc Modelling Language |
AIMSA
2008
Springer
15 years 7 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
113
click to vote
PGLDB
2003
15 years 2 months ago
2003
Learning Content Management Systems (LCMS) supports e-learning applications with storage and efficient access for e-learning objects (LO)s. ROSA is a LCMS built as a semantic laye...
109
click to vote
WWW
2006
ACM
16 years 2 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
132
click to vote
ISORC
1999
IEEE
15 years 5 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
128
click to vote
SIGMOD
2010
ACM
14 years 8 months ago
2010
ACM
Probabilistic processes appear naturally in various contexts, with applications to Business Processes, XML data management and more. Many models for specifying and querying such p...