Sciweavers

3088 search results - page 427 / 618
» A Teleradiology System Design Case
Sort
View
HICSS
2007
IEEE
89views Biometrics» more  HICSS 2007»
16 years 1 months ago
The Emergence of Standards: A Meta-Analysis
This paper provides a list of factors that influence the outcome of standard battles. We have developed this list by performing a meta-analysis of 103 papers. An extensive literat...
Geerten van de Kaa, Henk Jan de Vries, Eric van He...
HICSS
2007
IEEE
86views Biometrics» more  HICSS 2007»
16 years 1 months ago
Digital Consumer Networks and Producer-Consumer Collaboration: Innovation and Product Development in the Digital Entertainment I
This paper examines new forms of collaboration between producers and consumers that are emerging in the digital entertainment space. Taking the case of the video-game industry, we...
Reina Y. Arakji, Karl Reiner Lang
ICC
2007
IEEE
16 years 1 months ago
Performance Analysis of a Distributed Wireless Access Scheme
— Distributed channel access is essential for a wireless network without a central controller. In our previous research, we have proposed a distributed channel access scheme to a...
Hai Jiang, Ping Wang, Weihua Zhuang
SEFM
2007
IEEE
16 years 1 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
FMICS
2007
Springer
16 years 1 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...