Sciweavers

2825 search results - page 384 / 565
» Support for Object-Oriented Testing
Sort
View
ROMAN
2007
IEEE
220views Robotics» more  ROMAN 2007»
15 years 8 months 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, ...
142
Voted
SECON
2007
IEEE
15 years 8 months 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
138
Voted
AIME
2007
Springer
15 years 8 months 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...
105
Voted
CHES
2007
Springer
154views Cryptology» more  CHES 2007»
15 years 8 months 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
15 years 8 months 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...