15155 search results - page 2590 / 3031 » System Software |
190
click to vote
BVAI
2007
Springer
16 years 1 months ago
2007
Springer
The promise of Brain-Computer Interfaces (BCI) technology is to augment human capabilities by enabling interaction with computers through a conscious and spontaneous modulation of ...
188
click to vote
CCS
2007
ACM
16 years 1 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
178
click to vote
EMSOFT
2007
Springer
16 years 1 months ago
2007
Springer
With multicore architectures being introduced to the market, the research community is revisiting problems to evaluate them under the new preconditions set by those new systems. A...
222
click to vote
ESAS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
155
click to vote
FOSSACS
2007
Springer
16 years 1 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...