9626 search results - page 1625 / 1926 » Invariant Based Programming |
181
click to vote
CGI
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents a quasi-physically based approach for interactively simulating large-scale dynamic forest scenes under different wind conditions. We introduce theories from th...
171
click to vote
CNSR
2006
IEEE
16 years 22 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
166
click to vote
COMPSAC
2006
IEEE
16 years 22 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...
149
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
137
click to vote
CSMR
2006
IEEE
16 years 22 days ago
2006
IEEE
When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system ...