Sciweavers

2825 search results - page 384 / 565
» Support for Object-Oriented Testing
Sort
View
ROMAN
2007
IEEE
220views Robotics» more  ROMAN 2007»
16 years 21 days ago
Embodiment and Human-Robot Interaction: A Task-Based Perspective
— In this work, we further test the hypothesis that physical embodiment has a measurable effect on performance and impression of social interactions. Support for this hypothesis ...
Joshua Wainer, David Feil-Seifer, Dylan A. Shell, ...
SECON
2007
IEEE
16 years 21 days ago
High-Level Application Development is Realistic for Wireless Sensor Networks
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
Marcin Karpinski, Vinny Cahill
AIME
2007
Springer
16 years 19 days ago
Using Semantic Web Technologies for Knowledge-Driven Querying of Biomedical Data
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
Martin J. O'Connor, Ravi Shankar, Samson W. Tu, Cs...
CHES
2007
Springer
154views Cryptology» more  CHES 2007»
16 years 18 days ago
Multi-gigabit GCM-AES Architecture Optimized for FPGAs
Abstract. This paper presents a design-space exploration of the Galois/Counter Mode (GCM) algorithm with Advanced Encryption Standard (AES) as underlying block cipher for high thro...
Stefan Lemsitzer, Johannes Wolkerstorfer, Norbert ...
ESORICS
2007
Springer
16 years 18 days ago
On the Automated Correction of Security Protocols Susceptible to a Replay Attack
Although there exist informal design guidelines and formal development support, security protocol development is time-consuming because design is error-prone. In this paper, we int...
Juan Carlos López Pimentel, Raul Monroy, Di...