3335 search results - page 531 / 667 » A Unified Approach to Modeling and Programming |
198
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
154
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. Aspect-orientation provides support for " Separation of Concerns" by means of techniques that first isolate and then weave concerns. Most work in aspect-orienta...
194
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
209
click to vote
IJRR
2008
15 years 6 months ago
2008
Bilateral symmetry is a salient visual feature of many man-made objects. In this paper, we present research that use bilateral symmetry to identify, segment and track objects in re...
181
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...