6800 search results - page 1257 / 1360 » Testing with Functions as Specifications |
EWSPT
2001
Springer
14 years 15 days ago
2001
Springer
We describe an approach based upon software process technology to on-the-fly monitoring, redeployment, reconfiguration, and in general dynamic adaptation of distributed software ap...
SIGGRAPH
2010
ACM
14 years 15 days ago
2010
ACM
Material design is the process by which artists specify the reflectance
properties of a surface, such as its diffuse color and specular
roughness. We present a user study to eval...
ICVS
2001
Springer
14 years 13 days ago
2001
Springer
An increasing number of computer vision applications require on-line processing of data streams, preferably in real-time. This trend is fueled by the mainstream availability of low...
SCHULE
2001
Springer
14 years 13 days ago
2001
Springer
Abstract: Education is changing, following changes in society. The focus is shifting from teaching towards learning. And Informatics, more particularly Information and Communicatio...
ISCA
2000
IEEE
14 years 11 days ago
2000
IEEE
The microprocessor industry is currently struggling with higher development costs and longer design times that arise from exceedingly complex processors that are pushing the limit...