1980 search results - page 360 / 396 » Compositional Model Checking of Real Time Systems |
110
Voted
EGH
2003
Springer
15 years 7 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...
133
Voted
QOFIS
2000
Springer
15 years 6 months 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...
140
Voted
AIRWEB
2008
Springer
15 years 4 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...
133
Voted
CLOUDCOM
2010
Springer
15 years 18 days 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...
120
Voted
ENGL
2007
15 years 2 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...