Sciweavers

1438 search results - page 187 / 288
» An Expressive Extension of TLC
Sort
View
MICCAI
2008
Springer
16 years 7 months ago
Dynamic Model-Driven Quantitative and Visual Evaluation of the Aortic Valve from 4D CT
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
Razvan Ioan Ionasec, Bogdan Georgescu, Eva Gassn...
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
SIGSOFT
2004
ACM
16 years 7 months ago
Implementing protocols via declarative event patterns
This paper introduces declarative event patterns (DEPs) as a means to implement protocols while improving their traceability, comprehensibility, and maintainability. DEPs are desc...
Robert J. Walker, Kevin Viggers
ASPLOS
2009
ACM
16 years 7 months ago
Optimization of tele-immersion codes
As computational power increases, tele-immersive applications are an emerging trend. These applications make extensive demands on computational resources through their heavy use o...
Albert Sidelnik, I-Jui Sung, Wanmin Wu, Marí...
CHI
2008
ACM
16 years 6 months ago
One-handed touchscreen input for legacy applications
Supporting one-handed thumb operation of touchscreenbased mobile devices presents a challenging tradeoff between visual expressivity and ease of interaction. ThumbSpace and Shift-...
Amy K. Karlson, Benjamin B. Bederson