2432 search results - page 405 / 487 » Using simple abstraction to reinvent computing for paralleli... |
ESORICS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
ICCS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper describes GAPP – a framework for the execution of distributed genetic algorithms (GAs) using the H2O metacomputing environment. GAs may be a viable solution ...
111
click to vote
ECOOPW
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
LPNMR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In answer-set programming (ASP), the main focus usually is on computing answer sets which correspond to solutions to the problem represented by a logic program. Simple re...
107
click to vote
VC
2008
14 years 9 months ago
2008
Abstract In this paper we present a new character animation technique in which the animation adapts itself based on the change in the user's perspective, i.e., when the user m...