6201 search results - page 261 / 1241 » Implementation of Axiomatic Language |
125
click to vote
FDL
2007
IEEE
15 years 12 months ago
2007
IEEE
In this paper, we compare the underlying models of computation of the system description languages SystemC and Esterel. Although these languages have a rather different origin, we...
146
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
124
click to vote
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we describe an approach to automatically creating C++ bindings to Ada libraries utilizing capabilities of the Ada Semantic Interface Specification (ASIS). We discus...
151
click to vote
GPCE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
171
Voted
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
In this paper we argue for middleware languages that aid in service composition. We outline where such languages could be useful through the description of our current architectur...