Sciweavers

3914 search results - page 466 / 783
» Automating SLA modeling
Sort
View
ECSQARU
2005
Springer
16 years 7 days ago
Contextual Discounting of Belief Functions
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
David Mercier, Benjamin Quost, Thierry Denoeux
FM
2005
Springer
112views Formal Methods» more  FM 2005»
16 years 7 days ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ICCBR
2005
Springer
16 years 7 days ago
Navigating Through Case Base Competence
The development of large-scale case-based reasoning systems has increased the necessity of providing tools for analyzing the case base structure. In this paper we present a hierarc...
Maarten Grachten, F. Alejandro García, Jose...
NLDB
2005
Springer
16 years 6 days ago
Named Entity Recognition for Web Content Filtering
Effective Web content filtering is a necessity in educational and workplace environments, but current approaches are far from perfect. We discuss a model for text-based intellige...
José María Gómez Hidalgo, Fra...
179
Voted
OTM
2005
Springer
16 years 6 days ago
Colored Petri Nets to Verify Extended Event-Driven Process Chains
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova