Sciweavers

2740 search results - page 362 / 548
» A Model-Based Approach To Requirements Analysis
Sort
View
IBPRIA
2007
Springer
15 years 9 months 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í...
154
Voted
3DPVT
2006
IEEE
203views Visualization» more  3DPVT 2006»
15 years 9 months 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
15 years 9 months 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
124
Voted
CSFW
2005
IEEE
15 years 9 months 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
126
Voted
METRICS
2005
IEEE
15 years 9 months 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