Sciweavers

3104 search results - page 129 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
ROBOCUP
2004
Springer
108views Robotics» more  ROBOCUP 2004»
15 years 9 months ago
Turning Segways into Robust Human-Scale Dynamically Balanced Soccer Robots
Abstract. The Segway Human Transport (HT) is a one person dynamically selfbalancing transportation vehicle. The Segway Robot Mobility Platform (RMP) is a modification of the HT cap...
Jeremy Searock, Brett Browning, Manuela M. Veloso
ATAL
2009
Springer
15 years 10 months ago
Operational semantics of goal models in adaptive agents
Several agent-oriented software engineering methodologies address the emerging challenges posed by the increasing need of adaptive software. A common denominator of such methodolo...
Mirko Morandini, Loris Penserini, Anna Perini
LISA
2004
15 years 5 months ago
Real-time Log File Analysis Using the Simple Event Correlator (SEC)
Originally published at Usenix LISA 2004 conference. November 2004 Atlanta, Georiga, USA. Log analysis is an important way to keep track of computers and networks. The use of auto...
John P. Rouillard
CDC
2009
IEEE
126views Control Systems» more  CDC 2009»
15 years 7 months ago
Impact of arrival burstiness on queue length: An infinitesimal perturbation analysis
Traffic burstiness has a significant impact on network performance. Burstiness can cause buffer overflows and packet drops and is particularly problematic in the context of small-b...
Yan Cai, Yong Liu, Weibo Gong, Tilman Wolf
PLSA
1994
15 years 7 months ago
Language and Architecture Paradigms as Object Classes
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
Diomidis Spinellis, Sophia Drossopoulou, Susan Eis...