Sciweavers

2740 search results - page 362 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
IBPRIA
2007
Springer
16 years 20 days ago
Three-Dimensional Ultrasonic Assessment of Atherosclerotic Plaques
Carotid atherosclerosis is the most common life-threatening neurological disease and therefore an accurate assessment of atheromatous plaques is clinically important. Several studi...
José Seabra, João Sanches, Luí...
3DPVT
2006
IEEE
203views Visualization» more  3DPVT 2006»
16 years 17 days ago
A Spatio-Temporal Modeling Method for Shape Representation
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
Heng Huang, Li Shen, Rong Zhang, Fillia Makedon, J...
IJCNN
2006
IEEE
16 years 16 days ago
How Not to Evaluate a Developmental System
—Computational models of development aim to describe the mechanisms that underlie the acquisition of new skills or the emergence of new capabilities. The strength of a model is j...
Frederick Shic, Brian Scassellati
CSFW
2005
IEEE
16 years 3 days ago
End-to-End Availability Policies and Noninterference
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
Lantian Zheng, Andrew C. Myers
METRICS
2005
IEEE
16 years 2 days ago
Visualizing Historical Data Using Spectrographs
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt