Sciweavers

3088 search results - page 427 / 618
» A Teleradiology System Design Case
Sort
View
HICSS
2007
IEEE
89views Biometrics» more  HICSS 2007»
16 years 29 days 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 28 days 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 28 days 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 27 days 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 23 days 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...