Sciweavers

1973 search results - page 275 / 395
» Gossip based streaming
Sort
View
108
Voted
WWW
2003
ACM
16 years 4 months ago
Revealing Web User Requirements through e-Prototyping
Web Engineering projects face problems when it comes to reveal the Web users' requirements. This is due to the fact that users ? the clients of a Web application ? have diffi...
Martti Jeenicke, Wolf-Gideon Bleek, Ralf Klischews...
134
Voted
WWW
2003
ACM
16 years 4 months ago
XCQ: XML Compression and Querying System
We present our development of an XML compression and querying tool, which is called XML Compression and Querying System (XCQ). This system is developed based on a novel technique ...
Wai Yeung Lam, Wilfred Ng, Peter T. Wood, Mark Lev...
134
Voted
CHES
2009
Springer
137views Cryptology» more  CHES 2009»
16 years 4 months ago
Faster and Timing-Attack Resistant AES-GCM
We present a bitsliced implementation of AES encryption in counter mode for 64-bit Intel processors. Running at 7.59 cycles/byte on a Core 2, it is up to 25% faster than previous i...
Emilia Käsper, Peter Schwabe
144
Voted
CADE
2007
Springer
16 years 4 months ago
ALICE: An Advanced Logic for Interactive Component Engineering
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
Borislav Gajanovic, Bernhard Rumpe
114
Voted
ICIAP
2003
ACM
16 years 4 months ago
A real-time text-independent speaker identification system
The paper presents a real-time speaker identification system based on the analysis of the audio track of a video stream. The system has been employed in the context of automatic v...
Luigi P. Cordella, Pasquale Foggia, Carlo Sansone,...