Sciweavers

3291 search results - page 176 / 659
» Technology and Challenges of M-Commerce
Sort
View
EON
2008
15 years 7 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
SIGUCCS
2005
ACM
16 years 2 hour ago
A case study: implementing novell identity management at Drew University
Starting in 2003, Drew University began a process to replace its manual account management procedures with an automated provisioning system based upon Novell technologies. Over th...
E. Axel Larsson
CORR
2008
Springer
148views Education» more  CORR 2008»
15 years 6 months ago
Copper Electrodeposition for 3D Integration
Abstract-Two dimensional (2D) integration has been the traditional approach for IC integration. Increasing demands for providing electronic devices with superior performance and fu...
Rozalia Beica, Charles Sharbono, Tom Ritzdorf
WWW
2005
ACM
16 years 7 months ago
An architecture for personal semantic web information retrieval system
The semantic Web and Web service technologies have provided both new possibilities and challenges to automatic information processing. There are a lot of researches on applying th...
Haibo Yu, Tsunenori Mine, Makoto Amamiya
CHI
2002
ACM
16 years 6 months ago
Unremarkable computing
In this paper, we seek to contribute to the Ubiquitous Computing agenda by focusing on one of its earliest, but most difficult, design ambitions ? making technology "invisibl...
Peter Tolmie, James Pycock, Tim Diggins, Allan Mac...