Sciweavers

3914 search results - page 32 / 783
» Automating SLA modeling
Sort
View
LICS
2003
IEEE
14 years 27 days ago
Model Checking Guarded Protocols
E. Allen Emerson, Vineet Kahlon
ECSQARU
2003
Springer
14 years 26 days ago
A Random set Model for Fuzzy Labels
Jonathan Lawry, Jordi Recasens
ICLP
2003
Springer
14 years 25 days ago
The Language Model LMNtal
Kazunori Ueda, Norio Kato
ICRA
2006
IEEE
95views Robotics» more  ICRA 2006»
14 years 1 months ago
View Planning for Automated Site Modeling
— We present a systematic method for constructing 3-D models of large outdoor sites. The method is designed for a mobile robot platform and incorporates automated acquisition of ...
Paul Blaer, Peter K. Allen
WWW
2008
ACM
14 years 8 months ago
Understanding internet video sharing site workload: a view from data center design
In this paper we measured and analyzed the workload on Yahoo! Video, the 2nd largest U.S. video sharing site, to understand its nature and the impact on online video data center d...
Xiaozhu Kang, Hui Zhang 0002, Guofei Jiang, Haifen...