2638 search results - page 439 / 528 » Frameworks for Reasoning about Agent Based Systems |
162
click to vote
COSIT
2003
Springer
15 years 11 months ago
2003
Springer
: Natural language requests involving vague spatial concepts are not easily communicated to a GIS because the meaning of spatial concepts depends largely on the contexts (such as t...
207
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
194
click to vote
ASWEC
2006
IEEE
16 years 12 days ago
2006
IEEE
Software maintenance and evolution are inevitable activities since almost all software that is useful and successful stimulates user-generated requests for change and improvements...
160
click to vote
CN
1998
15 years 6 months ago
1998
In traditional commerce, brokers act as middlemen between customers and providers, aggregating, repackaging and adding value to products, services or information. In the broadest ...
182
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...