3256 search results - page 590 / 652 » Applications of Formal Methods to System Design and Verifica... |
HICSS
2008
IEEE
2008
IEEE
Integration of an Ontological Information Security Concept in Risk Aware Business Process Management
15 years 4 months ago
Abstract— The ability to prevent risks as well as to appropriately counteract occurring threats has increasingly become a crucial success factor. Traditional business process man...
WWW
2005
ACM
15 years 3 months ago
2005
ACM
Nowadays, Web activities have become daily practice for people. It is therefore essential to organize and present this continuously increasing Web information in a more usable man...
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
An improved understanding of the relationship between search intent, result quality, and searcher behavior is crucial for improving the effectiveness of web search. While recent p...
VCIP
2003
14 years 11 months ago
2003
When designing an encoder for a real-time video application over a wireless channel, we must take into consideration the unpredictable fluctuation of the quality of the channel an...
DEBU
2006
14 years 9 months ago
2006
Automated reasoning about human behavior is a central goal of artificial intelligence. In order to engage and intervene in a meaningful way, an intelligent system must be able to ...