10568 search results - page 1863 / 2114 » Computer Intelligence and Formalization |
134
click to vote
CCS
2006
ACM
15 years 7 months ago
2006
ACM
We address the problem of replaying an application dialog between two hosts. The ability to accurately replay application dialogs is useful in many security-oriented applications,...
133
click to vote
DSN
2004
IEEE
15 years 7 months ago
2004
IEEE
The authors describe the use of bounded model checking (BMC) for verifying Web application code. Vulnerable sections of code are patched automatically with runtime guards, allowin...
135
click to vote
ICCS
1997
Springer
15 years 7 months ago
1997
Springer
: The need for analysis and modeling of knowledge has been espoused by many researchers as a prerequisite to building knowledge based systems (KBS). This approach has done little t...
169
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
Effective system verification requires good specifications. The lack of sufficient specifications can lead to misses of critical bugs, design re-spins, and time-to-market slips. I...
123
click to vote
CHI
2009
ACM
15 years 7 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...