4166 search results - page 343 / 834 » A modular module system |
143
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper we present the rationale and the main components for a modular and extensible architecture for building and deploying physical hypermedia software. We show that this...
167
click to vote
COMPSAC
2005
IEEE
16 years 11 days 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 ...
186
click to vote
ESOP
2005
Springer
16 years 8 days ago
2005
Springer
We present a statically typed, class-based object oriented language where classes are first class polymorphic values. A main contribution of this work is the design of a type syst...
165
click to vote
OOPSLA
2004
Springer
16 years 3 days ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
190
click to vote
SAMOS
2004
Springer
16 years 3 days ago
2004
Springer
— In this paper we present the Molen programming paradigm, which is a sequential consistency paradigm for programming Custom Computing Machines (CCM). The programming paradigm al...