Sciweavers

1129 search results - page 157 / 226
» Modular Ranking Abstraction
Sort
View
LOPSTR
2007
Springer
14 years 1 months ago
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
Mario Méndez-Lojo, Jorge Navas, Manuel V. H...
MODELS
2007
Springer
14 years 1 months ago
Enhancing UML State Machines with Aspects
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
Gefei Zhang, Matthias M. Hölzl, Alexander Kna...
OTM
2007
Springer
14 years 1 months ago
Multi-stage Aspect-Oriented Composition of Component-Based Applications
Abstract. The creation of distributed applications requires sophisticated compositions, as various components — supporting application logic or non-functional requirements — mu...
Bert Lagaisse, Eddy Truyen, Wouter Joosen
PVM
2007
Springer
14 years 1 months ago
Distributed Real-Time Computing with Harness
Abstract. Modern parallel and distributed computing solutions are often built onto a “middleware” software layer providing a higher and common level of service between computat...
Emanuele Di Saverio, Marco Cesati, Christian Di Bi...
IROS
2006
IEEE
581views Robotics» more  IROS 2006»
14 years 1 months ago
A 3D Fax Machine based on Claytronics
Abstract— This paper presents a novel application of modular robotic technology. Many researchers expect manufacturing technology will allow robot modules to be built at smaller ...
Padmanabhan Pillai, Jason Campbell, Gautam Kedia, ...