Sciweavers

2821 search results - page 72 / 565
» Tracing a single user
Sort
View
OOPSLA
2007
Springer
14 years 3 months ago
Synthesizing reactive systems from LSC requirements using the play-engine
Live Sequence Charts (LSCs) is a scenario-based language for modeling object-based reactive systems with liveness properties. A tool called the Play-Engine allows users to create ...
Hillel Kugler, Cory Plock, Amir Pnueli
WEBI
2009
Springer
14 years 3 months ago
An Empirical Study on Maximum Latency Saving in Web Prefetching
—This paper presents an empirical study to investigate the maximum benefits that web users can expect from prefetching techniques in the current web. To this end a perfect web p...
B. de la Ossa, Julio Sahuquillo, Ana Pont, Jos&eac...
NGC
1999
Springer
106views Communications» more  NGC 1999»
14 years 1 months ago
Watercasting: Distributed Watermarking of Multicast Media
We outline a scheme by which encrypted multicast audiovisual data may be watermarked by lightweight active network components in the multicast tree. Every recipient receives a slig...
Ian Brown, Colin Perkins, Jon Crowcroft
PDPTA
2003
13 years 10 months ago
TORNADO: A Novel Input Replay Tool
This paper presents TORNADO, a unique input replay tool based on system call replay. It is capable of tracing program executions with an acceptable overhead of less than a factor 2...
Frank Cornelis, Michiel Ronsse, Koenraad De Bossch...
PERCOM
2005
ACM
14 years 9 months ago
Toward Unlinkable ID Management for Multi-Service Environments
As pervasive computing environments become popular, ID devices, such as smart cards and RFID tags, introduce multi-service environments, in which a user can receive multiple servi...
Yasunobu Nohara, Sozo Inoue, Hiroto Yasuura