Sciweavers

2204 search results - page 80 / 441
» Analyzing architectural styles
Sort
View
CSFW
2007
IEEE
15 years 10 months ago
A Formal Theory of Key Conjuring
Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We prop...
Véronique Cortier, Stéphanie Delaune...
DATE
2007
IEEE
93views Hardware» more  DATE 2007»
15 years 10 months ago
Testing in the year 2020
Testing today of a several hundred million transistor System-on-Chip with analog, RF blocks, many processor cores and tens of memories is a huge task. What will test technology be...
Rajesh Galivanche, Rohit Kapur, Antonio Rubio
OHS
2001
Springer
15 years 8 months ago
INSPIRE: An INtelligent System for Personalized Instruction in a Remote Environment
Abstract. In this paper we present the architecture of an Adaptive Educational Hypermedia System, named INSPIRE. This particular system, throughout its interaction with the learner...
Kyparisia A. Papanikolaou, Maria Grigoriadou, Harr...
ROBOCUP
1999
Springer
120views Robotics» more  ROBOCUP 1999»
15 years 8 months ago
CS Freiburg '99
Abstract. Based on the design of the CS Freiburg team, which participated sucessfully in Robocup’98, we developed a new team of robotic soccer players. While the hardware compone...
Bernhard Nebel, Jens-Steffen Gutmann, Wolfgang Hat...
SPIRE
1999
Springer
15 years 8 months ago
Flexible Communication Support for CSCW Applications
Modern computer-supported cooperative work applications (CSCW) supporting same-time/different-place interaction are required to open several communication channels. Each of these ...
Hugo Miranda, Luís Rodrigues