2696 search results - page 404 / 540 » Semantic Abstraction and Anaphora |
155
click to vote
SIGCOMM
2009
ACM
16 years 26 days ago
2009
ACM
BGP routing policies are mainly used by network operators to enforce business relationships between Autonomous Systems (AS), and to prefer some routes over others. In this paper, ...
158
click to vote
CBMS
2007
IEEE
16 years 21 days ago
2007
IEEE
Clinical pathways translate evidence-based recommendations into locally practicable, process-specific algorithms that reduce practice variations and optimize quality of care. Our ...
148
click to vote
CALCO
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
185
click to vote
MIDDLEWARE
2007
Springer
16 years 15 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
144
click to vote
SAS
2007
Springer
16 years 14 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...