854 search results - page 57 / 171 » Addressing Dynamic Issues of Program Model Checking |
126
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Along with the popularity of software-intensive systems, the interactions between system components and between humans and software applications are becoming more and more complex...
148
click to vote
IJNM
2008
15 years 2 months ago
2008
A mobile ad-hoc network creates a dynamic environment where node mobility can cause periodic changes in routes. Most existing fault localization algorithms assume availability of ...
GEOS
2005
Springer
15 years 8 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
111
click to vote
CC
2001
Springer
15 years 7 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
WSC
1998
15 years 3 months ago
1998
We describe the use of discrete event simulation in modeling the curbside vehicular traffic at airports. The dynamic nature of vehicular traffic poses a challenge in developing a ...