3429 search results - page 603 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
150
Voted
SIGMETRICS
2002
ACM
15 years 2 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
138
Voted
CMS
2003
15 years 3 months ago
2003
The Border Gateway Protocol (BGP) is a critical component of the Internet routing infrastructure, used to distribute routing information between autonomous systems (ASes). It is hi...
127
click to vote
PVLDB
2010
15 years 28 days ago
2010
Current pattern-detection proposals for streaming data recognize the need to move beyond a simple regular-expression model over strictly ordered input. We continue in this directi...
124
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Abstract. We present the first terminating tableau calculus for basic hybrid logic with the difference modality and converse modalities. The language under consideration is basic m...
109
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...