Sciweavers

314 search results - page 41 / 63
» Validating Specifications for Model-Based Testing
Sort
View
UMUAI
2008
144views more  UMUAI 2008»
13 years 7 months ago
Tag-based user modeling for social multi-device adaptive guides
This paper aims to demonstrate that the principles of adaptation and user modeling, especially social annotation, can be integrated fruitfully with those of the Web 2.0 paradigm a...
Francesca Carmagnola, Federica Cena, Luca Console,...
MICCAI
2006
Springer
14 years 8 months ago
An Approach for the Automatic Cephalometric Landmark Detection Using Mathematical Morphology and Active Appearance Models
Cephalometric analysis of lateral radiographs of the head is an important diagnosis tool in orthodontics. Based on manually locating specific landmarks, it is a tedious, time-consu...
Mariano Alcañiz Raya, Sylvia Rueda
DAC
2009
ACM
14 years 2 months ago
Information hiding for trusted system design
For a computing system to be trusted, it is equally important to verify that the system performs no more and no less functionalities than desired. Traditional testing and verifica...
Junjun Gu, Gang Qu, Qiang Zhou
NSDI
2004
13 years 8 months ago
Model Checking Large Network Protocol Implementations
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
Madanlal Musuvathi, Dawson R. Engler
JTAER
2010
124views more  JTAER 2010»
13 years 2 months ago
What factors influence online brand trust: evidence from online tickets buyers in Malaysia
This study examines online brand trust and its influencing factors in the specific context of online air ticket buyers in Malaysia. Summarizing academic literature on online brand...
Syed Shah Alam, Norjaya Mohd Yasin