3130 search results - page 453 / 626 » Design Correctness of Digital Systems |
166
click to vote
COMPSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
204
click to vote
MSWIM
2003
ACM
15 years 11 months ago
2003
ACM
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
175
click to vote
VL
1999
IEEE
15 years 10 months ago
1999
IEEE
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
146
click to vote
CCS
2010
ACM
15 years 10 months ago
2010
ACM
In this paper, we propose a new form of image-based CAPTCHA we term "scene tagging". It tests the ability to recognize a relationship between multiple objects in an imag...
177
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...