3909 search results - page 358 / 782 » Extreme Model Checking |
125
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Online email archives are an under-protected yet extremely sensitive information resource. Email archives can store years worth of personal and business email in an easy-to-access...
122
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
: I have always been a strong believer and practitioner of the JFDI approach to development, which yields high morale, early identification of problems in design and of any misunde...
121
click to vote
WSC
2007
15 years 6 months ago
2007
Planning construction projects typically makes use of the activity network based Critical Path Method (CPM), since it is very simple to use and reasonably versatile. Most other pl...
162
click to vote
FPGA
2008
ACM
15 years 5 months ago
2008
ACM
Architecture development for FPGAs has typically been a very empirical discipline, requiring the synthesis of benchmark circuits into candidate architectures. This is difficult to...
152
click to vote
NIPS
1998
15 years 5 months ago
1998
Inference is a key component in learning probabilistic models from partially observable data. When learning temporal models, each of the many inference phases requires a complete ...