Sciweavers

11374 search results - page 353 / 2275
» A System Demonstration of ST-TCP
Sort
View
MUM
2005
ACM
110views Multimedia» more  MUM 2005»
16 years 10 days ago
Kimono: kiosk-mobile phone knowledge sharing system
The functionality of an information kiosk can be extended by allowing it to interact with a smartphone, as demonstrated by the Kimono system, and the user interface can be greatly...
Albert Huang, Kari Pulli, Larry Rudolph
UIST
2005
ACM
16 years 10 days ago
DocWizards: a system for authoring follow-me documentation wizards
Traditional documentation for computer-based procedures is difficult to use: readers have trouble navigating long complex instructions, have trouble mapping from the text to displ...
Lawrence D. Bergman, Vittorio Castelli, Tessa A. L...
143
Voted
CONCUR
2005
Springer
16 years 10 days ago
Deriving Weak Bisimulation Congruences from Reduction Systems
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
Roberto Bruni, Fabio Gadducci, Ugo Montanari, Pawe...
ICES
2005
Springer
111views Hardware» more  ICES 2005»
16 years 9 days ago
Evolvable Hardware System at Extreme Low Temperatures
This paper describes circuit evolutionary experiments at extreme low temperatures, including the test of all system components at this extreme environment (EE). In addition to hard...
Ricardo Salem Zebulum, Adrian Stoica, Didier Keyme...
IH
2005
Springer
16 years 9 days ago
Data Hiding in Compiled Program Binaries for Enhancing Computer System Performance
Abstract. Information hiding has been studied in many security applications such as authentication, copyright management and digital forensics. In this work, we introduce a new app...
Ashwin Swaminathan, Yinian Mao, Min Wu, Krishnan K...