4341 search results - page 613 / 869 » Quantitative Model checking |
161
click to vote
SEAFOOD
2007
Springer
16 years 21 days ago
2007
Springer
Outsourcing of work to support software development and services is seen primarily as a transfer of labor to another shore. But intellectual property, as software, is transferred a...
171
click to vote
ICPP
2006
IEEE
16 years 19 days ago
2006
IEEE
Often, parallel and distributed computing systems must operate in an environment replete with uncertainty. Determining a resource allocation that accounts for this uncertainty in ...
158
click to vote
SKG
2006
IEEE
16 years 18 days ago
2006
IEEE
Upper bound constraints are often set when complex scientific or business processes are modelled as grid workflow specifications. However, many existing processes such as climate ...
145
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
- Although the emerging three-dimensional integration technology can significantly reduce interconnect delay, chip area, and power dissipation in nanometer technologies, its impact...
181
click to vote
ICCV
2005
IEEE
16 years 6 days ago
2005
IEEE
We develop a method for learning the spatial statistics of optical flow fields from a novel training database. Training flow fields are constructed using range images of natur...