10916 search results - page 81 / 2184 » On Constructive Connectives and Systems |
106
click to vote
CORR
2008
Springer
15 years 27 days ago
2008
Springer
Motivated by applications in social networks, peer-to-peer and overlay networks, we define and study the Bounded Budget Connection (BBC) game - we have a collection of n players o...
98
Voted
SMA
2005
ACM
15 years 6 months ago
2005
ACM
Geometric constraints are at the heart of parametric and feature-based CAD systems. Changing values of geometric constraint parameters is one of the most common operations in such...
101
Voted
SIGOPSE
2004
ACM
15 years 6 months ago
2004
ACM
Implementing an extension of a legacy operating system requires knowing what functionalities the extension should provide and how the extension should be integrated with the legac...
90
Voted
EDCC
2006
Springer
15 years 4 months ago
2006
Springer
It has been well established that most operating system crashes are due to bugs in device drivers. Because drivers are normally linked into the kernel address space, a buggy drive...
KES
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper, we propose a framework for content collection and connection enabled by public large screens and mobile phones. Making people express their stories will en...