140 search results - page 20 / 28 » Orderings and Constraints: Theory and Practice of Proving Te... |
116
click to vote
AGTIVE
2003
Springer
15 years 4 months ago
2003
Springer
Graph-reduction specifications (GRSs) are a powerful new method for specifying classes of pointer data structures (shapes). They cover important shapes, like various forms of bal...
CARDIS
2006
Springer
15 years 3 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
120
click to vote
PLANX
2007
15 years 1 months ago
2007
We present an algorithm to solve XPath decision problems under regular tree type constraints and show its use to statically typecheck XPath queries. To this end, we prove the deci...
CCS
2001
ACM
15 years 4 months ago
2001
ACM
Automated trust negotiation is an approach to establishing trust between strangers through the exchange of digital credentials and the use of access control policies that specify ...
131
click to vote
ATAL
2008
Springer
15 years 24 days ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...