2519 search results - page 326 / 504 » Reasoning with Textual Cases |
130
click to vote
ICDE
2007
IEEE
16 years 25 days ago
2007
IEEE
Emergencies happen frequently and handling them effectively is necessary. In many cases, emergencies are treated by a static procedure, without considering the requirements of th...
150
click to vote
LPAR
2007
Springer
16 years 20 days ago
2007
Springer
Many analysis techniques and decidability results have been obtained for cryptographic protocols. However all of them consider protocols with limited procedures for the processing ...
156
click to vote
HICSS
2006
IEEE
16 years 17 days ago
2006
IEEE
This paper describes the initial findings of a case study intended to identify important organizational catalysts and impediments to implementing and using security technologies a...
158
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
140
click to vote
LICS
2005
IEEE
16 years 3 days ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...