1818 search results - page 284 / 364 » Granularity-Adaptive Proof Presentation |
119
click to vote
ISWC
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents the e-SUIT, a wearable computer incorporated in a traditional business suit. A key feature of the system is an array of input/output devices integrated into th...
117
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Achieving the Nash equilibria for single objective games is known to be a computationally difficult problem. However there is a special class of equilibria called evolutionary...
133
click to vote
IFIP
2009
Springer
15 years 8 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
128
click to vote
ASIACRYPT
2001
Springer
15 years 8 months ago
2001
Springer
A fair blind signature scheme allows the trustee to revoke blindness so that it provides authenticity and anonymity to honest users while preventing malicious users from abusing th...
143
click to vote
CP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract The tcc model is a formalism for reactive concurrent constraint programming. In this paper we propose a model of temporal concurrent constraint programming which adds to t...