257 search results - page 43 / 52 » New Bisimulation Semantics for Distributed Systems |
96
Voted
FAST
2009
14 years 9 months ago
2009
Clustered applications in storage area networks (SANs), widely adopted in enterprise datacenters, have traditionally relied on distributed locking protocols to coordinate concurre...
CONCUR
2010
Springer
15 years 24 days ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
155
click to vote
HPCA
2011
IEEE
14 years 3 months ago
2011
IEEE
Over the last twenty years the interfaces for accessing persistent storage within a computer system have remained essentially unchanged. Simply put, seek, read and write have de�...
105
click to vote
IJWET
2010
14 years 10 months ago
2010
: To aid job seekers searching for job vacancies, we have developed a new configurable meta-search engine for the human resources domain. In this paper we describe the three main c...
116
click to vote
SIGMOD
2010
ACM
14 years 12 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...