Sciweavers

858 search results - page 53 / 172
» Inspections in Small Projects
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
15 years 6 months ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
SIGSOFT
2006
ACM
15 years 5 months ago
Detecting increases in feature coupling using regression tests
Repeated changes to a software system can introduce small weaknesses such as unplanned dependencies between different parts of the system. While such problems usually go undetecte...
Olivier Giroux, Martin P. Robillard
LICS
2005
IEEE
15 years 5 months ago
Looping Caterpillars
There are two main paradigms for querying semi structured data: regular path queries and XPath. The aim of this paper is to provide a synthesis between these two. This synthesis i...
Evan Goris, Maarten Marx
ISER
2004
Springer
123views Robotics» more  ISER 2004»
15 years 5 months ago
Free-Climbing with a Multi-Use Robot
This paper presents a new four-limbed robot, LEMUR IIb (Legged Excursion Mechanical Utility Rover), that can free-climb vertical rock surfaces. This robot was designed to have a nu...
Timothy Bretl, Stephen M. Rock, Jean-Claude Latomb...
CAIP
2003
Springer
376views Image Analysis» more  CAIP 2003»
15 years 5 months ago
Computing Neck-Shaft Angle of Femur for X-Ray Fracture Detection
Worldwide, 30% – 40% of women and 13% of men suffer from osteoporotic fractures of the bone, particularly the older people. Doctors in the hospitals need to manually inspect a l...
Tai-Peng Tian, Ying Chen, Wee Kheng Leow, Wynne Hs...