2631 search results - page 222 / 527 » Less is More |
PCM
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Computer techniques have been leveraged to record human experiences in many public spaces, e.g. meeting rooms and classrooms. For the large amount of such records produce...
113
click to vote
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
15 years 6 months ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
142
click to vote
TLCA
2005
Springer
15 years 6 months ago
2005
Springer
Two common misbeliefs about encodings of the λ-calculus in interaction nets (INs) are that they are good only for strategies that are not very well understood (e.g. optimal reduct...
ATAL
2004
Springer
15 years 6 months ago
2004
Springer
An ad hoc agent environment is a way for users to interact with an ambient intelligent environment. Agents are associated with every device, service or content. Utilizing agents, ...
112
click to vote
GCC
2004
Springer
15 years 6 months ago
2004
Springer
A Grid computing system is a virtual resource framework. Inside the framework, resources are being shared among autonomous domains which can be geographically distributed. One prim...