Sciweavers

1003 search results - page 50 / 201
» A modeling approach and reference models for the analysis of...
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
14 years 2 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
MICCAI
2005
Springer
14 years 8 months ago
Surface Alignment of 3D Spherical Harmonic Models: Application to Cardiac MRI Analysis
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected 3D objects and has been used in many app...
Heng Huang, Li Shen, Rong Zhang, Fillia Makedon, B...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
14 years 2 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
HCI
2007
13 years 9 months ago
Designing "Culture" into Modern Product: A Case Study of Cultural Product Design
“Culture” plays an important role in the design field, and “cross cultural design” will be a key design evaluation point in the future. Designing “culture” into modern ...
Rungtai Lin, Ming-Xian Sun, Ya-Ping Chang, Yu-Chin...
MHCI
2009
Springer
14 years 2 months ago
Using an ecological framework to design mobile technologies for pediatric asthma management
Mobile technologies, due to their ubiquitous nature, play an important role in supporting health care. However, it is not easy to design useful integrated mobile services without ...
Hee Young Jeong, Rosa I. Arriaga