Sciweavers

1905 search results - page 257 / 381
» Conceptual Models and Architectures for Advanced Information...
Sort
View
MKM
2005
Springer
15 years 3 months ago
Assisted Proof Document Authoring
Recently, significant advances have been made in formalised mathematical texts for large, demanding proofs. But although such large developments are possible, they still take an i...
David Aspinall, Christoph Lüth, Burkhart Wolf...
ISMAR
2008
IEEE
15 years 4 months ago
Augmented assembly using a mobile phone
We present a mobile phone based augmented reality (AR) assembly system that enable users to view complex models on their mobile phones. It is based on a client-server architecture...
Mika Hakkarainen, Charles Woodward, Mark Billinghu...
CORR
2007
Springer
154views Education» more  CORR 2007»
14 years 10 months ago
To Code or Not to Code Across Time: Space-Time Coding with Feedback
Abstract— Space-time codes leverage the availability of multiple antennas to enhance the reliability of communication over wireless channels. While space-time codes have initiall...
Che Lin, Vasanthan Raghavan, Venugopal V. Veeraval...
WWW
2003
ACM
15 years 10 months ago
Application specific data replication for edge services
The emerging edge services architecture promises to improve the availability and performance of web services by replicating servers at geographically distributed sites. A key chal...
Lei Gao, Michael Dahlin, Amol Nayate, Jiandan Zhen...
EDOC
2003
IEEE
15 years 3 months ago
How MDA Can Help Designing Component- and Aspect-based Applications
Distributed systems are inherently complex, and therefore difficult to design and develop. Experience shows that new technologies—such as components, aspects, and application f...
Lidia Fuentes, Mónica Pinto, Antonio Vallec...