3082 search results - page 297 / 617 » Deviation Analysis: A New Use of Model Checking |
166
click to vote
COMPSAC
2006
IEEE
16 years 21 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...
171
click to vote
COGSCI
2006
15 years 6 months ago
2006
Plausibility has been implicated as playing a critical role in many cognitive phenomena from comprehension to problem solving. Yet, across cognitive science, plausibility is usual...
145
click to vote
SCANGIS
2003
15 years 8 months ago
2003
The WGS84 ellipsoid is tessellated using quadrilaterals of roughly the same size. The tessellation scheme is developed for the purpose of storing, distributing and analysing global...
156
click to vote
IJEB
2008
15 years 6 months ago
2008
: Communication services are currently confronted with large changes due to the price erosion of services and the entry of new service providers. The gap has been filled with diffe...
170
click to vote
HPCA
2007
IEEE
16 years 7 months ago
2007
IEEE
We apply a scalable approach for practical, comprehensive design space evaluation and optimization. This approach combines design space sampling and statistical inference to ident...