854 search results - page 103 / 171 » Addressing Dynamic Issues of Program Model Checking |
132
click to vote
EMSOFT
2011
Springer
14 years 2 months ago
2011
Springer
We describe a certification approach for software development that has been adopted at our organization. JPL develops robotic spacecraft for the exploration of the solar system. T...
124
click to vote
IEEEARES
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Attack Graphs are an important support for assessment and subsequent improvement of network security. They reveal possible paths an attacker can take to break through se...
120
Voted
ANSS
2006
IEEE
15 years 8 months ago
2006
IEEE
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
133
click to vote
EUC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In the future, homes will have numerous intelligent communicating devices, and the user would like to configure and coordinate their actions. Appliances and people in in...
106
click to vote
ECOOPW
2003
Springer
15 years 7 months ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...