3931 search results - page 474 / 787 » Separation logic and abstraction |
187
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
179
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
Traditionally, in-network services like firewall, proxy, cache, and transcoders have been provided by dedicated hardware middleboxes. A recent trend has been to remove the middleb...
173
click to vote
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Two major forms of information integration, federation and materialization, continue to dominate the market, embedded in separate products, each with their strengths and...
209
click to vote
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Path planning and network design are often treated by architects of mobile communication networks as separate problems. In fact, most mobile ad hoc network (MANET) designs do n...
157
click to vote
AO
2008
15 years 7 months ago
2008
Abstract. The rapid increase in the number and use of biological ontologies necessitates developing systems for their integration. In this paper we present a core ontology for biol...