Sciweavers

3838 search results - page 420 / 768
» The Autonomic Computing Paradigm
Sort
View
IPL
2000
101views more  IPL 2000»
15 years 6 months ago
Visual cryptography for grey level images
Visual cryptography is a cryptographic paradigm introduced by Naor and Shamir [Lecture Notes in Comput. Sci., Vol. 950, Springer, Berlin, 1995, p. 1]. Some predefined set of parti...
Carlo Blundo, Alfredo De Santis, Moni Naor
CSUR
1999
114views more  CSUR 1999»
15 years 6 months ago
Directions for Research in Approximate System Analysis
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
Patrick Cousot
SAC
2008
ACM
15 years 6 months ago
Extending omniscient debugging to support aspect-oriented programming
Debugging is a tedious and costly process that demands a profound understanding of the dynamic behavior of programs. Debugging aspect-oriented software is even more difficult: to ...
Guillaume Pothier, Éric Tanter
ICWS
2010
IEEE
15 years 5 months ago
Evaluating the Survivability of SOA Systems Based on HMM
Survivability is a crucial property for computer systems that support critical infrastructures of our society. A variety of survivability definitions and evaluation methods for t...
Leilei Chen, Qing Wang, Wei Xu, Liang Zhang
KSEM
2010
Springer
15 years 5 months ago
Towards Scalable Instance Retrieval over Ontologies
In this paper, we consider the problem of query answering over large multimedia ontologies. Traditional reasoning systems may have problems to deal with large amounts of expressive...
Alissa Kaplunova, Ralf Möller, Sebastian Wand...