5918 search results - page 1111 / 1184 » A view of cloud computing |
CSE
2009
IEEE
14 years 7 months ago
2009
IEEE
With 39% of Americans admitting the use of the Web to get unfiltered campaign materials, it becomes important to evaluate how they are searching for these materials and what they a...
120
click to vote
DLT
2009
14 years 7 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
149
click to vote
EXACT
2009
14 years 7 months ago
2009
In this paper a representative example is chosen that is meant be fairly simple for illustrating the point that in a very common kind of instance, argument and explanation are mixe...
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Frequently, Security Monitoring is equated with network intrusion detection. However, Security Monitoring has a much broader scope. It also comprises detection of insider attacks...
146
click to vote
HCI
2009
14 years 7 months ago
2009
Abstract. We propose a brain-computer interface (BCI) system for evolving images in realtime based on subject feedback derived from electroencephalography (EEG). The goal of this s...