241 search results - page 47 / 49 » Design by Contract Using Meta-Assertions |
IAJIT
2010
13 years 6 months ago
2010
: Web services are considered one of the main technologies which emerged in recent years, they provide an application integration technology that allows business applications to co...
JOT
2010
13 years 5 months ago
2010
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
MM
2010
ACM
13 years 5 months ago
2010
ACM
We present a tool that can efficiently facilitate interactive navigation and search in videos. In addition to browsing a video by shots it also allows a user to navigate through a...
WCRE
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract—During software development, design rules and contracts in the source code are often encoded through regularities, such as API usage protocols, coding idioms and naming ...
SMA
2009
ACM
14 years 2 months ago
2009
ACM
We present the “Dynamic Packing Grid” (DPG) data structure along with details of our implementation and performance results, for maintaining and manipulating flexible molecul...