1980 search results - page 360 / 396 » Compositional Model Checking of Real Time Systems |
EGH
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents a physically-based, visually-realistic interactive cloud simulation. Clouds in our system are modeled using partial differential equations describing fluid mot...
QOFIS
2000
Springer
14 years 17 days ago
2000
Springer
Many distributed multimedia applications have the ability to adapt to uctuations in the network conditions. By adjusting temporal and spatial quality to available bandwidth, or man...
AIRWEB
2008
Springer
13 years 11 months ago
2008
Springer
As web search providers seek to improve both relevance and response times, they are challenged by the ever-increasing tax of automated search query traffic. Third party systems in...
CLOUDCOM
2010
Springer
13 years 7 months ago
2010
Springer
Cloud computing has seen tremendous growth, particularly for commercial web applications. The on-demand, pay-as-you-go model creates a flexible and cost-effective means to access c...
ENGL
2007
13 years 9 months ago
2007
—Defect tracking using computational intelligence methods is used to predict software readiness in this study. By comparing predicted number of faults and number of faults discov...