8644 search results - page 1636 / 1729 » On the Composition of Secure Systems |
IDA
2010
Springer
14 years 1 months ago
2010
Springer
: Rock art, human-made markings on stone, is an important cultural and the earliest expression of abstract thinking. While there are tens of millions of photographs of rock art in ...
HUC
2009
Springer
14 years 1 months ago
2009
Springer
To usefully query a location-based service, a mobile device must typically present its own location in its query to the server. This may not be acceptable to clients that wish to ...
HUC
2009
Springer
14 years 1 months ago
2009
Springer
We describe a technique to detect the presence of computer users. This technique relies on sonar using hardware that already exists on commodity laptop computers and other electro...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...
PADL
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...