Sciweavers

2265 search results - page 194 / 453
» On the Power of Local Orientations
Sort
View
126
Voted
CADE
2007
Springer
16 years 1 months ago
Dependency Pairs for Rewriting with Non-free Constructors
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
Stephan Falke, Deepak Kapur
WSFM
2007
Springer
15 years 6 months ago
From Public Views to Private Views - Correctness-by-Design for Services
Service orientation is a means for integrating across diverse systems. Each resource, whether an application, system, or trading partner, can be accessed as a service. The resultin...
Wil M. P. van der Aalst, Niels Lohmann, Peter Mass...
88
Voted
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
15 years 6 months ago
Waalbot: An Agile Small-Scale Wall Climbing Robot Utilizing Pressure Sensitive Adhesives
Abstract— This paper proposes a small-scale agile wall climbing robot able to navigate on smooth surfaces of any orientation, including vertical and inverted surfaces, which uses...
Michael P. Murphy, William Tso, Michael Tanzini, M...
104
Voted
SIGSOFT
2004
ACM
15 years 6 months ago
Variability management with feature-oriented programming and aspects
This paper presents an analysis of feature-oriented and aspectoriented modularization approaches with respect to variability management as needed in the context of system families...
Mira Mezini, Klaus Ostermann
ICDCSW
2003
IEEE
15 years 6 months ago
Gateway: A Message Hub with Store-and-Forward Messaging in Mobile Networks
To obtain good performance in messaging over mobile networks, we have developed a Gateway. Gateway is a message hub that transmits information using store-and-forward messaging an...
Eiko Yoneki, Jean Bacon