5630 search results - page 235 / 1126 » Computability in Specification |
165
click to vote
ISORC
2002
IEEE
15 years 11 months ago
2002
IEEE
Two limitations of the current implementations of adaptive QoS behaviors are complexity associated with inserting them into common application contexts and lack of reusability acr...
153
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
143
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
The Web Services Resource Framework (WS-RF) and the Web Services Notification (WS-N) specifications are a crucial component of Grid infrastructures. They provide a standardized int...
183
click to vote
SPIN
2000
Springer
15 years 9 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
170
Voted
SGP
2007
15 years 8 months ago
2007
We present an example-based surface reconstruction method for scanned point sets. Our approach uses a database of local shape priors built from a set of given context models that ...