26 search results - page 5 / 6 » forte 2004 |
FORTE
2004
13 years 7 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...
DGO
2004
13 years 7 months ago
2004
MOBICOM
2004
ACM
13 years 11 months ago
2004
ACM
With the growth of IEEE 802.11-based wireless LANs, VoIP and similar applications are now commonly used over wireless networks. Mobile station performs a handoff whenever it move...
3DPVT
2004
IEEE
13 years 9 months ago
2004
IEEE
Computer graphics cameras lack the finite Depth of Field (DOF) present in real world ones. This results in all objects being rendered sharp regardless of their depth, reducing the...
SC
2004
ACM
13 years 11 months ago
2004
ACM
Virtual machines provide flexible, powerful execution environments for Grid computing, offering isolation and security mechanisms complementary to operating systems, customization...