10038 search results - page 517 / 2008 » Model Checking for Managers |
170
click to vote
ER
2005
Springer
16 years 19 days ago
2005
Springer
We describe a new approach to managing information quality (IQ) in an e-Science context, by allowing scientists to define the quality characteristics that are of importance in the...
220
click to vote
CIVR
2004
Springer
16 years 15 days ago
2004
Springer
This paper presents a system designed for the management of multimedia databases that embarks upon the problem of efficient media processing and representation for automatic semant...
220
click to vote
EUROPKI
2004
Springer
16 years 15 days ago
2004
Springer
The last years have seen a major interest in designing and deploying trust management and public key infrastructures. Yet, it is still far from clear how one can pass from the orga...
182
click to vote
ICT
2004
Springer
16 years 14 days ago
2004
Springer
In the area of monitoring communication networks, GEDSystem is a tool for supporting the development of programs driven to the management of domains that may show up when networks ...
222
click to vote
IEEESCC
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Modern service-oriented systems have increasingly complex loosely-coupled architectures that often exhibit poor performance and resource efficiency and have high operat...