1809 search results - page 199 / 362 » On the Purpose of Object-Oriented Analysis |
AAAI
2007
15 years 27 days ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
WSC
2008
15 years 27 days ago
2008
A large number of operational tools exist to help researchers determine business solutions for their customers. Each individual tool serves a distinct purpose for specific types o...
AMAST
2008
Springer
15 years 18 days ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
AIRS
2005
Springer
15 years 17 days ago
2005
Springer
The main purpose of topic detection and tracking (TDT) is to detect, group, and organize newspaper articles reporting on the same event. Since an event is a reported occurrence at ...
ATVA
2008
Springer
15 years 11 days ago
2008
Springer
Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...