214 search results - page 41 / 43 » Hierarchical model-based diagnosis based on structural abstr... |
MIDDLEWARE
2004
Springer
14 years 11 days ago
2004
Springer
Emerging large scale utility computing systems like Grids promise computing and storage to be provided to end users as a utility. System management services deployed in the middle...
CORR
2010
Springer
13 years 1 months ago
2010
Springer
: In this paper, inspired by the work of Megiddo on the formation of preferences and strategic analysis, we consider an early market model studied in the field of economic theory, ...
ECCV
2004
Springer
14 years 9 months ago
2004
Springer
Abstract. There has been much effort invested in increasing the robustness of human body tracking by incorporating motion models. Most approaches are probabilistic in nature and se...
SPIN
2004
Springer
14 years 10 days ago
2004
Springer
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
SEMWIKI
2008
13 years 8 months ago
2008
Abstract. Semantic wikis have been successfully applied to many problems in knowledge management and collaborative authoring. They are particularly appropriate for scientific and m...