Sciweavers

924 search results - page 25 / 185
» An expressive aspect language for system applications with A...
Sort
View
ICRA
2009
IEEE
147views Robotics» more  ICRA 2009»
14 years 3 months ago
Equipping robot control programs with first-order probabilistic reasoning capabilities
— An autonomous robot system that is to act in a real-world environment is faced with the problem of having to deal with a high degree of both complexity as well as uncertainty. ...
Dominik Jain, Lorenz Mösenlechner, Michael Be...
CONSTRAINTS
2007
97views more  CONSTRAINTS 2007»
13 years 8 months ago
Models for Global Constraint Applications
In this paper we give an overview of some industrial applications built using global constraints. We look at three systems from different application domains and show the core mo...
Helmut Simonis
IWPSE
2003
IEEE
14 years 2 months ago
Program Slicing Tool for Effective Software Evolution Using Aspect-Oriented Technique
One of the issues in software evolution is debugging. Debugging large and complex software systems evolved requires a lot of effort since it is very difficult to localize and ide...
Takashi Ishio, Shinji Kusumoto, Katsuro Inoue
PTS
2008
109views Hardware» more  PTS 2008»
13 years 10 months ago
Runtime Verification of C Programs
We present in this paper a framework, RMOR, for monitoring the execution of C programs against state machines, expressed in a textual (nongraphical) format in files separate from t...
Klaus Havelund
AOSD
2006
ACM
14 years 17 days ago
Reflections on aspects and configurable protocols
The goals of aspect oriented software development (AOSD) and frameworks for configurable protocols (CPs) are similar in many respects. AOSD allows the specification of crosscuttin...
Matti A. Hiltunen, François Taïani, Ri...