14850 search results - page 2761 / 2970 » The Security of |
160
click to vote
IPMU
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many surveillance cameras are being installed throughout the environments of our daily lives because they effectively maintain safety and offer security to ordinary peopl...
219
click to vote
ITNG
2010
IEEE
15 years 5 months ago
2010
IEEE
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
185
click to vote
JAPLL
2010
15 years 5 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
198
click to vote
JFP
2010
15 years 5 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
147
click to vote
JSS
2010
15 years 5 months ago
2010
—Probabilistic properties are considered as the most important requirements for a variety of software systems, since they are used to formulate extra-functional requirements such...