3914 search results - page 509 / 783 » Automating SLA modeling |
192
click to vote
PREMI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Robust tracking of objects in video is a key challenge in computer vision with applications in automated surveillance, video indexing, human-computer-interaction, gesture...
201
click to vote
CCGRID
2006
IEEE
16 years 22 days ago
2006
IEEE
One of the key requirement for Grid infrastructures is the ability to share resources with nontrivial qualities of service. However, resource management in a decentralized infrast...
179
click to vote
ICAS
2006
IEEE
16 years 21 days ago
2006
IEEE
— We target the problem of predicting resource usage in situations where the modeling data is scarce, non-stationary, or expensive to obtain. This scenario occurs frequently in c...
206
click to vote
TIME
2006
IEEE
16 years 20 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
172
click to vote
LICS
2005
IEEE
16 years 7 days ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemâ€...