6164 search results - page 1177 / 1233 » Teaching Computer Security |
144
Voted
WICOMM
2008
15 years 2 months ago
2008
With the recent advances in portable devices and wireless networks, a new paradigm of computing has emerged which is known as mobile computing. In general mobile computing can be ...
134
Voted
SAC
2010
ACM
15 years 14 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
145
click to vote
ANCS
2009
ACM
15 years 13 days ago
2009
ACM
Deterministic Finite Automaton (DFA) is well-known for its constant matching speed in worst case, and widely used in multistring matching, which is a critical technique in high pe...
156
Voted
HIPC
2009
Springer
15 years 10 days ago
2009
Springer
Stream computing research is moving from terascale to petascale levels. It aims to rapidly analyze data as it streams in from many sources and make decisions with high speed and a...
159
Voted
ISF
2010
14 years 12 months ago
2010
Much of the literature on responsibility in the IT field addresses the responsibilities of members of the IT profession. In this paper, we investigate to what extent the responsibi...