Sciweavers

3375 search results - page 273 / 675
» Resource Sharing in Performance Models
Sort
View
183
Voted
RTCSA
2005
IEEE
16 years 8 days ago
Model Checking Timed Systems with Priorities
Priorities are used to resolve conflicts such as in resource sharing and in safety designs. The use of priorities has become indispensable in real-time system design such as in s...
Pao-Ann Hsiung, Shang-Wei Lin
ICALT
2005
IEEE
16 years 9 days ago
LM-DTM: An Environment for XML-Based, LIP/PAPI-Compliant Deployment, Transformation and Matching of Learner Models
Our shared belief is that learning, like other human activities, cannot and will not be confined within rigidly defined course systems or learning repositories, inclosing learning...
Mohamed Amine Chatti, Ralf Klamma, Christoph Quix,...
TCS
2002
15 years 6 months ago
Asymptotic behavior in a heap model with two pieces
In a heap model, solid blocks, or pieces, pile up according to the Tetris game mechanism. An optimal schedule is an in nite sequence of pieces minimizing the asymptotic growth rat...
Jean Mairesse, Laurent Vuillon
ICDM
2009
IEEE
148views Data Mining» more  ICDM 2009»
16 years 1 months ago
Hierarchical Bayesian Models for Collaborative Tagging Systems
—Collaborative tagging systems with user generated content have become a fundamental element of websites such as Delicious, Flickr or CiteULike. By sharing common knowledge, mass...
Markus Bundschus, Shipeng Yu, Volker Tresp, Achim ...
NOMS
2008
IEEE
132views Communications» more  NOMS 2008»
16 years 1 months ago
Improving distributed service management using Service Modeling Language (SML)
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
Robert Adams, Ricardo Rivaldo, Guilherme Germoglio...