2776 search results - page 420 / 556 » System-Level Abstraction Semantics |
158
click to vote
SIGCOMM
2009
ACM
16 years 29 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 24 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 ...
149
click to vote
CALCO
2007
Springer
16 years 19 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...
186
click to vote
MIDDLEWARE
2007
Springer
16 years 18 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...
146
click to vote
SAS
2007
Springer
16 years 17 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...