1799 search results - page 234 / 360 » The Logic of Correctness in Software Engineering |
170
click to vote
ASWEC
2006
IEEE
16 years 17 days ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
178
click to vote
ACL2
2006
ACM
16 years 15 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
158
click to vote
ISSTA
2004
ACM
15 years 12 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
182
click to vote
ISSTA
2000
ACM
15 years 11 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
167
click to vote
PEPM
1999
ACM
15 years 10 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...