3256 search results - page 397 / 652 » Applications of Formal Methods to System Design and Verifica... |
172
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
While strings and syntax trees are used by the Natural Language Processing community to represent the structure of spoken languages, these encodings are difficult to adapt to a si...
226
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
The main goal of a persuasion dialogue is to persuade, but agents may have a number of additional goals concerning the dialogue duration, how much and what information is shared o...
173
click to vote
NDSS
2003
IEEE
15 years 12 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
183
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Test data compression (TDC) is a promising low-cost methodology for System-on-a-Chip (SOC) test. This is due to the fact that it can reduce not only the volume of test data but al...
198
click to vote
WWW
2003
ACM
16 years 7 months ago
2003
ACM
SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial auto...