361 search results - page 41 / 73 » Characterization of Semantics for Argument Systems |
140
click to vote
INFOCOM
2007
IEEE
15 years 11 months ago
2007
IEEE
—Distributed storage systems provide reliable access to data through redundancy spread over individually unreliable nodes. Application scenarios include data centers, peer-to-pee...
164
Voted
GLOBECOM
2009
IEEE
15 years 9 months ago
2009
IEEE
We investigate an optimal scheduling problem in a discrete-time system of L parallel queues that are served by K identical servers. This model has been widely used in studies of em...
161
Voted
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
130
click to vote
WWW
2005
ACM
16 years 5 months ago
2005
ACM
Online Curriculum Portals aim to support networks of instructors and learners by providing a space of convergence for enhancing peer-to-peer learning interactions among individual...
123
Voted
CODES
2001
IEEE
15 years 8 months ago
2001
IEEE
This paper presents a practical approach to communication synthesis for hardware/software system specified as tasks communicating through lossless blocking channels. It relies on ...