Sciweavers

3291 search results - page 254 / 659
» Technology and Challenges of M-Commerce
Sort
View
CSREASAM
2007
15 years 8 months ago
4G and Manet, Wireless Network of Future Battlefield
- The era of new wireless communications is upon us. Eventually it will penetrate into our daily life and change the way we live just like many technological innovations whose orig...
Marcin Szczodrak, Jinwoo Kim
SEDE
2007
15 years 8 months ago
BeLearning: Designing accessible web applications
Flexibility and adaptivity are two of the outstanding characteristics of new media and new technologies. These properties allow new methods to provide physically challenged people...
Helmut Vieritz, Sabina Jeschke
DAGSTUHL
2001
15 years 8 months ago
Extended Static Checking: A Ten-Year Perspective
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
K. Rustan M. Leino
SCS
2004
15 years 8 months ago
Causal Analysis of the ACAS/TCAS Sociotechnical System
Sociotechnical systems are those which rely not only on technology but on humans and social organisation for their adequate functioning. The analysis of sociotechnical systems pose...
Peter B. Ladkin
APCCM
2010
15 years 7 months ago
Ontology consolidation in bioinformatics
Ontologies enjoy increasing popularity among bioinformatics researchers who seek assistance in coping with the rapid upgrowth of biological data to be handled and related informat...
Sven Hartmann, Henning Köhler, Jing Wang