2638 search results - page 302 / 528 » A Framework for Automatic Debugging |
226
Voted
RIDE
1993
IEEE
15 years 11 months ago
1993
IEEE
In this paper, we describe a framework for an object-oriented modeling of meta information and its use for the integration of heterogeneous databases with the goal of their intero...
169
Voted
ISN
1994
Springer
15 years 11 months ago
1994
Springer
: With the advent of Optical Networks, an important opportunity for the application of Telecommunication Management Network (TMN) framework emerges. At present, most such networks ...
169
click to vote
KDD
2010
ACM
15 years 11 months ago
2010
ACM
The process of extracting useful knowledge from large datasets has become one of the most pressing problems in today’s society. The problem spans entire sectors, from scientists...
189
Voted
CCGRID
2004
IEEE
15 years 10 months ago
2004
IEEE
The performance skeleton of an application is a short running program whose performance in any scenario reflects the performance of the application it represents. Such a skeleton ...
196
Voted
CRYPTO
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...