3844 search results - page 180 / 769 » Modular interpreted systems |
153
click to vote
CSMR
2008
IEEE
16 years 28 days ago
2008
IEEE
Aspect Oriented Programming (AOP) has been proposed as a new programming paradigm. The originality in AOP is the aspect, a single modularization unit for all those functionalities...
125
click to vote
CMMR
2007
Springer
16 years 19 days ago
2007
Springer
In this paper, we present the current state of BioTools, an ongoing project to implement a modular hardware and software toolbox for composers and performers, which allows fast dep...
154
click to vote
ENC
2006
IEEE
16 years 15 days ago
2006
IEEE
A simple swing propagation mechanism for multi-robot motion coordination is presented. This mechanism is based on local-perception and low-level communication. It is oriented to c...
160
click to vote
MPC
2004
Springer
15 years 11 months ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
195
click to vote
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...