Sciweavers

11129 search results - page 199 / 2226
» Modeling Search Computing Applications
Sort
View
EDOC
2002
IEEE
15 years 12 months ago
An MDA-Based Model for Vertical Application Task Forces: An Experience Report
Thispaper describes a set of modeling techniquesfor developing vertical applications in specific domains. Previous approaches are mainly focused on obtaining final applications. W...
Luis E. Anido-Rifón, Juan M. Santos, Judith...
182
Voted
P2PKM
2004
15 years 8 months ago
A Space-Efficient Model for Sharing Personal Knowledge Objects in Peer Communities
Abstract. In the future it is likely that peer communities will be routinely established for the purpose of sharing electronic resources and targeted information among groups of pe...
Fred S. Annexstein, Kenneth A. Berman
217
Voted
ERSHOV
2009
Springer
15 years 4 months ago
Applicability of the BLAST Model Checker: An Industrial Case Study
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
Emanuel Kolb, Ondrej Sery, Roland Weiss
178
Voted
ESA
2010
Springer
236views Algorithms» more  ESA 2010»
15 years 8 months ago
Computing Pure Nash and Strong Equilibria in Bottleneck Congestion Games
Bottleneck congestion games properly model the properties of many real-world network routing applications. They are known to possess strong equilibria
Tobias Harks, Martin Hoefer, Max Klimm, Alexander ...
196
Voted
ICVS
2009
Springer
16 years 1 months ago
Increasing the Robustness of 2D Active Appearance Models for Real-World Applications
Abstract. This paper presents an approach to increase the robustness of Active Appearance Models (AAMs) within the scope of humanrobotinteraction. Due to unknown environments with ...
Ronny Stricker, Christian Martin, Horst-Michael Gr...