Sciweavers

1003 search results - page 179 / 201
» Extending the Adaptability of Reference Models
Sort
View
ECOOPW
1999
Springer
15 years 5 months ago
An Aspect-Oriented Design Framework for Concurrent Systems
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
Constantinos Constantinides, Atef Bader, Tzilla El...
ICRA
1994
IEEE
127views Robotics» more  ICRA 1994»
15 years 5 months ago
A Comparison of Position Estimation Techniques Using Occupancy Grids
A mobile robot requires perception of its local environment for both sensor based locomotion and for position estimation. Occupancy grids, based on ultrasonic range data, provide ...
Bernt Schiele, James L. Crowley
AOSD
2007
ACM
15 years 5 months ago
Efficiently mining crosscutting concerns through random walks
Inspired by our past manual aspect mining experiences, this paper describes a random walk model to approximate how crosscutting concerns can be discovered in the absence of domain...
Charles Zhang, Hans-Arno Jacobsen
AUSAI
2007
Springer
15 years 5 months ago
Advances in Local Search for Satisfiability
In this paper we describe a stochastic local search (SLS) procedure for finding satisfying models of satisfiable propositional formulae. This new algorithm, gNovelty+ , draws on th...
Duc Nghia Pham, John Thornton, Charles Gretton, Ab...
ITP
2010
114views Mathematics» more  ITP 2010»
15 years 5 months ago
A New Foundation for Nominal Isabelle
Pitts et al introduced a beautiful theory about names and binding based on the notions of permutation and support. The engineering challenge is to smoothly adapt this theory to a t...
Brian Huffman, Christian Urban