293 search results - page 38 / 59 » From Systems to Components: Constructive Methods for Product... |
IFM
1999
Springer
14 years 27 days ago
1999
Springer
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
SIGGRAPH
1998
ACM
14 years 26 days ago
1998
ACM
We present a method that uses measured scene radiance and global illumination in order to add new objects to light-based models with correct lighting. The method uses a high dynam...
CONEXT
2010
ACM
13 years 6 months ago
2010
ACM
Traditional DSL troubleshooting solutions are reactive, relying mainly on customers to report problems, and tend to be labor-intensive, time consuming, prone to incorrect resoluti...
INFOCOM
2007
IEEE
14 years 2 months ago
2007
IEEE
—P2P (peer-to-peer) technology has proved itself an efficient and cost-effective solution to support large-scale multimedia streaming. Different from traditional P2P application...
ROBOCUP
2005
Springer
14 years 2 months ago
2005
Springer
Faults in hardware and software are not totally avoidable not even if the components are carefully designed, implemented and tested. In this paper we present a solution for detecti...