26496 search results - page 267 / 5300 » An Approach to Computing Ethics |
171
click to vote
APLAS
2010
ACM
15 years 6 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
174
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
We introduce and motivate crowd computing, which combines mobile devices and social interactions to achieve large-scale distributed computation. An opportunistic network of mobile...
159
click to vote
MOR
2010
15 years 5 months ago
2010
We develop first-order smoothing techniques for saddle-point problems that arise in the Nash equilibria computation of sequential games. The crux of our work is a construction of ...
150
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Users' tasks are typically a sequence of steps. Today, the goal of Pervasive Computing applications ? to support users in their tasks by using context information ? is only p...
136
click to vote
HPDC
2007
IEEE
16 years 29 days ago
2007
IEEE
In this work we discuss a range of approaches to full-system simulation of distributed memory parallel computers, with emphasis on the interconnection network. We present our envi...