12194 search results - page 406 / 2439 » cans 2010 |
179
click to vote
APLAS
2010
ACM
15 years 7 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...
204
click to vote
HRI
2010
ACM
15 years 7 months ago
2010
ACM
In this paper a system, which is driven through natural language, that allows operators to select and manipulate objects in the environment using an industrial robot is proposed. I...
155
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
IPsec allows a huge amount of flexibility in the ways in which its component cryptographic mechanisms can be combined to build a secure communications service. This may be good fo...
155
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Nowadays, the interaction between a product and the user is described using different methods than for product to product communication. This makes it difficult to replace users a...
182
click to vote
SIGCOMM
2010
ACM
15 years 7 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...