6167 search results - page 964 / 1234 » Can Refinement be Automated |
125
Voted
SUTC
2008
IEEE
15 years 7 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
97
Voted
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
97
Voted
3DIM
2007
IEEE
15 years 7 months ago
2007
IEEE
We present an analytical method to estimate the absolute registration error bounds if two surfaces were to be aligned using the ICP (Iterative Closest Point) algorithm. The estima...
102
click to vote
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Many agile projects require user interaction (UI) design, but the integration of UI design into agile development is not well understood. This is because both agile development an...
115
Voted
AGILEDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Test-Driven Development (TDD) is an agile practice that is widely accepted and advocated by most agile methods and methodologists. In this paper, we report on a post hoc analysis ...