Sciweavers

4736 search results - page 592 / 948
» Mobile MultiModal presentation
Sort
View
VL
2003
IEEE
126views Visual Languages» more  VL 2003»
15 years 12 months ago
Spatial graph grammars for web information transformation
Thispaper presents an approach to spatial specifications for Web information transformation'. Extended from the Reserved Graph Grammar (RGG), a Spatial Graph Grammar (SGG) is...
Mei Kang Qiu, Guang-Lei Song, Jun Kong, Kang Zhang
ERLANG
2003
ACM
15 years 12 months ago
Automated test generation for industrial Erlang applications
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
Johan Blom, Bengt Jonsson
CRYPTO
2003
Springer
111views Cryptology» more  CRYPTO 2003»
15 years 12 months ago
Instant Ciphertext-Only Cryptanalysis of GSM Encrypted Communication
In this paper we present a very practical ciphertext-only cryptanalysis of GSM (Global System for Mobile communications) encrypted communication, and various active attacks on the ...
Elad Barkan, Eli Biham, Nathan Keller
ICRA
2002
IEEE
97views Robotics» more  ICRA 2002»
15 years 11 months ago
Obstacle Detection in Smooth High Curvature Terrain
Detection of obstacles for autonomous vehicles is more difficult when the terrain is not locally planar and remains an open problem. We have developed an approach suited for obsta...
Parag H. Batavia, Sanjiv Singh
DATE
2000
IEEE
139views Hardware» more  DATE 2000»
15 years 11 months ago
Target Architecture Oriented High-Level Synthesis for Multi-FPGA Based Emulation
This paper presents a new approach on combined highlevel synthesis and partitioning for FPGA-based multi-chip emulation systems. The goal is to synthesize a prototype with maximal...
Oliver Bringmann, Wolfgang Rosenstiel, Carsten Men...