Sciweavers

882 search results - page 114 / 177
» Allowing State Changes in Specifications
Sort
View
ADC
2010
Springer
214views Database» more  ADC 2010»
15 years 1 months ago
Building a dynamic classifier for large text data collections
Due to the lack of in-built tools to navigate the web, people have to use external solutions to find information. The most popular of these are search engines and web directories....
Pavel Kalinov, Bela Stantic, Abdul Sattar
JOC
2010
92views more  JOC 2010»
15 years 22 days ago
Efficient Cache Attacks on AES, and Countermeasures
We describe several software side-channel attacks based on inter-process leakage through the state of the CPU's memory cache. This leakage reveals memory access patterns, whic...
Eran Tromer, Dag Arne Osvik, Adi Shamir
TAOSD
2010
15 years 20 days ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...
TSP
2010
15 years 19 days ago
Linear precoder design through cut-off rate maximization in MIMO-OFDM coded systems with imperfect CSIT
This paper proposes a linear transmitter design that aims at minimizing the packet error rate (PER) using partial channel state information at the transmitter (CSIT). The design is...
Francesc Rey, Meritxell Lamarca, Gregori Vá...
ICRA
1999
IEEE
187views Robotics» more  ICRA 1999»
15 years 10 months ago
VISP: A Software Environment for Eye-in-Hand Visual Servoing
In this paper, we describe a modular software that allows fast development of eye-in-hand image-based visual servoing applications (ViSP states for "Visual Servoing Platform&...
Éric Marchand