3844 search results - page 180 / 769 » Modular interpreted systems |
104
Voted
CSMR
2008
IEEE
15 years 10 months 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...
90
Voted
CMMR
2007
Springer
15 years 9 months 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...
113
click to vote
ENC
2006
IEEE
15 years 9 months 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...
125
Voted
MPC
2004
Springer
15 years 9 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,...
157
click to vote
VMCAI
2004
Springer
15 years 9 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 ...