4166 search results - page 274 / 834 » A modular module system |
181
click to vote
DRR
2003
15 years 8 months ago
2003
A prototype system has been designed to automate the extraction of bibliographic data (e.g., article title, authors, , affiliation and others) from online biomedical journals to p...
160
click to vote
ENC
2006
IEEE
16 years 21 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...
163
click to vote
MPC
2004
Springer
16 years 6 hour 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,...
200
click to vote
VMCAI
2004
Springer
15 years 12 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 ...
151
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
To successfully carry out a software maintenance or reengineering task, a suitably assembled set of tools is required, which interoperate seaminglessly. To achieve this goal, an e...