Sciweavers

1020 search results - page 112 / 204
» Advanced Teleoperation Architecture
Sort
View
VLSID
2000
IEEE
135views VLSI» more  VLSID 2000»
15 years 7 months ago
Performance and Functional Verification of Microprocessors
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
Pradip Bose, Jacob A. Abraham
AICT
2006
IEEE
102views Communications» more  AICT 2006»
15 years 5 months ago
Publishing, Retrieving and Streaming Lectures via Application Level Multicast
Structured peer-to-peer overlay network is an efficient solution for querying and retrieving resources spread between the peers. Unfortunately, key based routing of Distributed Ha...
Marco Milanesio, Giancarlo Ruffo
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 5 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
IFIP8
2004
15 years 5 months ago
Towards Highly Adaptive Services for Mobile Computing
: The heterogeneity of device capabilities, network conditions and user contexts that is associated with mobile computing has emphasized the need for more advanced forms of adaptat...
Alessandra Agostini, Claudio Bettini, Nicolò...
IC
2000
15 years 5 months ago
Virtual Campus: A Web-Based Customized Learning Environment
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....
Ka-po Ma, Michael R. Lyn, Wing-Kay Kan