3742 search results - page 115 / 749 » On the Use of Formal Techniques for Validation |
292
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...
152
click to vote
ICAC
2007
IEEE
16 years 20 days ago
2007
IEEE
An autonomic problem determination system can adapt to changing environments, react to existing or new error condition and predict possible problems. In this report, we propose su...
169
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We perform a theoretical study of the following queryview security problem: given a view V to be published, does V logically disclose information about a confidential query S? The...
174
click to vote
ICC
2007
IEEE
16 years 20 days ago
2007
IEEE
— Cognitive networks are the latest progression of cognitive functionality into the networking stack, an effort which began with a layer one and two focus on cognitive radios, an...
158
click to vote
MM
1994
ACM
15 years 10 months ago
1994
ACM
: One of the major obstacles facing designers of video conferencing systems is the problem of ameliorating the effects of congestion on interconnected packet-switched networks that...