Sciweavers

3291 search results - page 223 / 659
» Technology and Challenges of M-Commerce
Sort
View
ISPD
2004
ACM
120views Hardware» more  ISPD 2004»
15 years 12 months ago
Multilevel routing with antenna avoidance
As technology advances into nanometer territory, the antenna problem has caused significant impact on routing tools. The antenna effect is a phenomenon of plasmainduced gate oxide...
Tsung-Yi Ho, Yao-Wen Chang, Sao-Jie Chen
FMCAD
2004
Springer
15 years 12 months ago
Integrating Reasoning About Ordinal Arithmetic into ACL2
Abstract. Termination poses one of the main challenges for mechanically verifying infinite state systems. In this paper, we develop a powerful and extensible framework based on th...
Panagiotis Manolios, Daron Vroon
ICADL
2004
Springer
156views Education» more  ICADL 2004»
15 years 12 months ago
Digital Libraries: Developing Countries, Universal Access, and Information for All
Abstract. Digital libraries are large, organized collections of information objects. Well-designed digital library software has the potential to enable nonspecialist people to conc...
Ian H. Witten
ISI
2004
Springer
15 years 12 months ago
West Nile Virus and Botulism Portal: A Case Study in Infectious Disease Informatics
Abstract. Information technologies and infectious disease informatics are playing an increasingly important role in preventing, detecting, and managing infectious disease outbreaks...
Daniel Dajun Zeng, Hsinchun Chen, Chunju Tseng, Ca...
OTM
2004
Springer
15 years 12 months ago
A Model-Driven Approach to Designing Cross-Enterprise Business Processes
Abstract. Modeling and managing business processes that span multiple organizations involves new challenges, mainly regarding the ability to cope with change, decentralization, and...
Bernhard Bauer, Jörg P. Müller, Stephan ...