Sciweavers

1100 search results - page 174 / 220
» An Approach to Test Aspect-oriented Programs
Sort
View
ICSOC
2005
Springer
15 years 5 months ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
ROBOCUP
2005
Springer
85views Robotics» more  ROBOCUP 2005»
15 years 5 months ago
Lightweight Management - Taming the RoboCup Development Process
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...
Tijn van der Zant, Paul-Gerhard Plöger
CC
2006
Springer
15 years 3 months ago
Interprocedural Dataflow Analysis in the Presence of Large Libraries
Interprocedural dataflow analysis has a large number of uses for software optimization, maintenance, testing, and verification. For software built with reusable components, the tra...
Atanas Rountev, Scott Kagan, Thomas J. Marlowe
DISOPT
2007
93views more  DISOPT 2007»
14 years 11 months ago
A feasibility pump heuristic for general mixed-integer problems
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...
Livio Bertacco, Matteo Fischetti, Andrea Lodi
ICRA
2010
IEEE
157views Robotics» more  ICRA 2010»
14 years 10 months ago
Integrated planning and control of large tracked vehicles in open terrain
Abstract— Trajectory generation and control of large equipment in open field environments involves systematically and robustly operating in uncertain and dynamic terrain. This p...
Xiuyi Fan, Surya Singh, Florian Oppolzer, Eric Net...