298 search results - page 17 / 60 » UPPAAL - Now, Next, and Future |
AI
1999
Springer
13 years 6 months ago
1999
Springer
RoboCup is an increasingly successful attempt to promote the full integration of AI and robotics research. The most prominent feature of RoboCup is that it provides the researcher...
SIES
2007
IEEE
14 years 1 months ago
2007
IEEE
— In this paper we present an architecture for a test and diagnosis toolset for FlexRay-based automotive distributed networks. Next to data monitoring and recording, this toolset...
UIST
2003
ACM
13 years 12 months ago
2003
ACM
We present the design, implementation, and informal evaluation of tactile interfaces for small touch screens used in mobile devices. We embedded a tactile apparatus in a Sony PDA ...
DIGITALCITIES
2001
Springer
13 years 11 months ago
2001
Springer
This paper investigates the concept of digital city. First, a functional analysis of a digital city is made in the light of the modern study of urbanism; similarities between the v...
SACRYPT
1999
Springer
13 years 11 months ago
1999
Springer
We describe the design of Yarrow, a family of cryptographic pseudo-random number generators (PRNG). We describe the concept of a PRNG as a separate cryptographic primitive, and the...