1554 search results - page 82 / 311 » An Overview of the Spring System |
VL
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper describes Vista, a visual multiparadigm programming environment. We introduce the notion of processors and networks and discuss their application in the construction of...
CONCUR
2006
Springer
14 years 1 months ago
2006
Springer
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism. Our su...
CLEF
2008
Springer
13 years 12 months ago
2008
Springer
The present article presents the steps involved in the transformation of the TE system that was used in the RTE3 competition in 2007 for the AVE 2008 exercise. We describe the rule...
CIDR
2007
13 years 11 months ago
2007
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
DAGSTUHL
2001
13 years 11 months ago
2001
We first give an overview of the features of the GANIMAL Framework introducing several new concepts not present in any previous algorithm animation system. Then we focus on its me...