5243 search results - page 996 / 1049 » Reasoning About Strategies |
216
click to vote
VTC
2006
IEEE
16 years 2 hour ago
2006
IEEE
— The estimation of correct triggers for handover in cellular networks belongs to the critical tasks for accurate network operation. The importance of seamless handover even rise...
172
click to vote
DOCENG
2006
ACM
15 years 12 months ago
2006
ACM
XPath is the standard declarative language for navigating XML data and returning a set of matching nodes. In the context of XSLT/XQuery analysis, query optimization, and XML type ...
155
click to vote
MSR
2006
ACM
15 years 12 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...
148
click to vote
PLDI
2006
ACM
15 years 12 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
167
click to vote
VEE
2006
ACM
15 years 12 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...