Sciweavers

1774 search results - page 265 / 355
» Modeling Dynamic Component Interfaces
Sort
View
VLSID
2001
IEEE
129views VLSI» more  VLSID 2001»
14 years 10 months ago
Design Of Provably Correct Storage Arrays
In this paper we describe a hardware design method for memory and register arrays that allows the application of formal equivalence checking for comparing a high-level register tr...
Rajiv V. Joshi, Wei Hwang, Andreas Kuehlmann
WETICE
2008
IEEE
14 years 4 months ago
Federated Collaborations with Exertions
This paper describes a service-oriented P2P architecture and related federated metaprogramming model to support development of highly scalable and reliable distributed collaborati...
Michael W. Sobolewski
ICC
2007
IEEE
157views Communications» more  ICC 2007»
14 years 4 months ago
Performance Evaluation of Quality of VoIP Service Over UMTS-UTRAN R99
Release99 of UMTS (Universal Mobile Telecommunication System) network supports conversational services by means of UTRAN (Universal Terrestrial Radio Access Network) Dedicated tran...
Andrea Barbaresi, Andrea Mantovani
ECTEL
2007
Springer
14 years 4 months ago
Flexible Processes in Project-Centred Learning
Project-centred learning is increasingly used both in academia and in companies; universities train students to master complex tasks, often suggested by real-life situations, while...
Stefano Ceri, Maristella Matera, Alessandro Raffio...
HAPTICS
2005
IEEE
14 years 3 months ago
The Snaptic Paddle: A Modular Haptic Device
The Haptic Paddle was developed previously as an inexpensive haptic device for educational use, and has been applied to course topics such as dynamic systems and introductory cont...
Christopher E. Wong, Allison M. Okamura