Sciweavers

1811 search results - page 263 / 363
» Facilitation, Systems, and Users: The Complete Socio-Technic...
Sort
View
ICMI
2005
Springer
67views Biometrics» more  ICMI 2005»
14 years 1 months ago
Multimodal output specification / simulation platform
The design of an output multimodal system is a complex task due to the richness of today interaction contexts. The diversity of environments, systems and user profiles requires a ...
Cyril Rousseau, Yacine Bellik, Frédé...
ISCIS
2004
Springer
14 years 1 months ago
Software Testing via Model Checking
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
Fevzi Belli, Baris Güldali
ACSAC
2003
IEEE
14 years 1 months ago
Making Secure TCP Connections Resistant to Server Failures
Methods are presented to increase resiliency to server failures by migrating long running, secure TCP-based connections to backup servers, thus mitigating damage from servers disa...
Hailin Wu, Andrew Burt, Ramki Thurimella
IFIP
2003
Springer
14 years 1 months ago
Power-Saving in Wi-Fi Hotspots: An Analytical Study
Wi-Fi hotspots are one of the most promising scenarios for mobile computing. In this scenario, a very limiting factor is the scarcity of mobile-device energetic resources. Both har...
Giuseppe Anastasi, Marco Conti, Enrico Gregori, An...
ACSC
2002
IEEE
14 years 1 months ago
AdJava - Automatic Distribution of Java Applications
The majority of the world’s computing resources remains idle most of the time. By using this resource pool, an individual computation may be completed in a fraction of time requ...
Mohammad M. Fuad, Michael J. Oudshoorn