16430 search results - page 3133 / 3286 » On Computable Tree Functions |
127
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
170
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
The Java Modeling Language (JML) is a behavioral interface specification language (BISL) designed for Java. It was developed to improve functional software correctness of Java app...
146
click to vote
KI
2010
Springer
15 years 29 days ago
2010
Springer
ut spatial environments, be it real or abstract, human or machine. Research issues range from human spatial cognition to mobile robot navigation. Numerous results have been obtaine...
122
Voted
MMS
2010
15 years 29 days ago
2010
-- In this paper, we present a theoretical framing of the functions of a mirror by breaking the synchrony between the state of a reference object and its reflection. This framing p...
133
Voted
SCN
2010
Springer
15 years 28 days ago
2010
Springer
Abstract. Lattice reduction is known to be a very powerful tool in modern cryptanalysis. In the literature, there are many lattice reduction algorithms that have been proposed with...