455 search results - page 34 / 91 » Towards an Extensible Argumentation System |
111
Voted
ICDCS
2008
IEEE
15 years 4 months ago
2008
IEEE
3D tele-immersion (3DTI) has recently emerged as a new way of video-mediated collaboration across the Internet. Unlike conventional 2D video-conferencing systems, it can immerse r...
116
click to vote
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
117
click to vote
INTEROP
1999
Springer
15 years 1 months ago
1999
Springer
Application systems in the earth observation area can be characterised as distributed, platform-inhomogeneous, complex, and cost intensive information systems. In order to manage t...
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
—There are two usual ways to describe equality in a dependent typing system, one that uses an external notion of computation like beta-reduction, and one that introduces a typed ...
114
click to vote
SOSP
2005
ACM
15 years 6 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...