5159 search results - page 423 / 1032 » Structural Testing of Executables |
195
click to vote
ICRA
2008
IEEE
16 years 2 months ago
2008
IEEE
— After several years of developing multiple RoboCup small-size robot soccer teams, our CMDragons robot team achieved a highly successful level of performance, winning both the 2...
204
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
Static program slicing is often proposed for software maintenance-related tasks. Due to different causes static slices are in many cases overly conservative and hence too large to...
189
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
220
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
214
click to vote
PERVASIVE
2007
Springer
16 years 1 months ago
2007
Springer
We propose a method through which dynamic sensor nodes determine that they move together, by communicating and correlating their movement information. We describe two possible solu...