3688 search results - page 292 / 738 » Static analysis of aspects |
166
click to vote
IAT
2007
IEEE
16 years 1 months ago
2007
IEEE
Given that a negotiation outcome is determined to a large extent by the successive offers exchanged by negotiating agents, it is useful to analyze dynamic patterns of the bidding,...
166
click to vote
ICMCS
2006
IEEE
16 years 23 days ago
2006
IEEE
With increased concern for physical security, video surveillance is becoming an important business area. Similar camera-based system can also be used in such diverse applications ...
182
click to vote
SAS
2004
Springer
16 years 2 days ago
2004
Springer
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
177
Voted
CCS
2001
ACM
15 years 11 months ago
2001
ACM
hfulness of Abstract Protocol Analysis: Message Authentication∗ Joshua D. Guttman F. Javier Thayer Lenore D. Zuck December 18, 2002 Dolev and Yao initiated an approach to studyi...
165
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Knowledge work in many fields requires examining several aspects of a collection of documents to attain meaningful understanding that is not explicitly available. Despite recent ad...