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»
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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
15 years 11 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