7047 search results - page 1245 / 1410 » Focusing on Binding and Computation |
168
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
166
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
168
click to vote
CP
2005
Springer
15 years 12 months ago
2005
Springer
While Planning has been a key area in Artificial Intelligence since its beginnings, significant changes have occurred in the last decade as a result of new ideas and a more estab...
176
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
Public administrations of all over the world invest an enormous amount of resources in e-government. How the success of egovernment can be measured is often not clear. E-governmen...
157
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...