319 search results - page 38 / 64 » Formally Verifying Dynamic Properties of Knowledge Based Sys... |
WWW
2009
ACM
16 years 13 days ago
2009
ACM
In Web-based services of dynamic content (such as news articles), recommender systems face the difficulty of timely identifying new items of high-quality and providing recommendat...
ASE
2004
14 years 11 months ago
2004
The verification of concurrent systems through an exhaustive traversal of the state space suffers from the infamous state-space-explosion problem, caused by the many interleavings ...
186
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
102
click to vote
RAID
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
CORR
2007
Springer
14 years 11 months ago
2007
Springer
This paper focuses on the use of knowledge possessed by designers. Data collection was based on observations (by the cognitive ergonomics researcher) and simultaneous verbalisation...