525 search results - page 69 / 105 » Using Checkable Types in Automatic Protocol Analysis |
SPIESR
2003
13 years 9 months ago
2003
One of the major challenges facing current media management systems and related applications is the so-called ‘‘semantic gap’’ between the rich meaning that a user desires...
ICDAR
1997
IEEE
13 years 12 months ago
1997
IEEE
The purpose of a document is to facilitate the transfer of information from its author to its readers. It is the author’s job to design the document so that the information it c...
IWPC
2009
IEEE
14 years 2 months ago
2009
IEEE
This paper presents an exploratory study of ten feature location techniques that use various combinations of textual, dynamic, and static analyses. Unlike previous studies, the ap...
ICMI
2009
Springer
14 years 2 months ago
2009
Springer
This paper presents a system for the automatic detection of agreements in multi-party conversations. We investigate various types of features that are useful for identifying agree...
ICECCS
2002
IEEE
14 years 21 days ago
2002
IEEE
The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with t...