2231 search results - page 221 / 447 » Alternation as a programming paradigm |
129
click to vote
FC
2010
Springer
15 years 10 months ago
2010
Springer
A number of security systems, from Chip-and-PIN payment cards to contactless subway and train tokens, as well as secure localization systems, are vulnerable to relay attacks. Encry...
167
click to vote
COORDINATION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Rebeca is an actor-based language which has been successfully applied to model concurrent and distributed systems. The semantics of Rebeca in labeled transition system is...
186
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
In interactive computer games and computer animation, intuitively controlling the motion of an articulated character is considered as a difficult task. One of the reasons is that, ...
146
Voted
SPIRE
2000
Springer
15 years 10 months ago
2000
Springer
Biomolecular computing (BMC) aims to capture the innumerable advantages that biological molecules have gained in the course of millions of years of evolution to perform computatio...
151
click to vote
ETRA
2008
ACM
15 years 8 months ago
2008
ACM
Nowadays various are the situations in which people need to interact with a Personal Computer without having the possibility to use traditional pointing devices, such as a keyboar...