5015 search results - page 683 / 1003 » Model Checking a Path |
199
click to vote
ICSEA
2007
IEEE
16 years 1 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
173
click to vote
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
— The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impos...
197
Voted
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
208
click to vote
IROS
2007
IEEE
16 years 28 days ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
187
click to vote
LFCS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...