Sciweavers

8627 search results - page 1572 / 1726
» Software Engineering Using RATionale
Sort
View
SIAMSC
2011
148views more  SIAMSC 2011»
15 years 29 days ago
Bootstrap AMG
We develop an algebraic multigrid (AMG) setup scheme based on the bootstrap framework for multiscale scientific computation. Our approach uses a weighted least squares definition...
Achi Brandt, James J. Brannick, K. Kahl, Irene Liv...
ESWA
2011
243views Database» more  ESWA 2011»
14 years 10 months ago
A novel case based reasoning approach to radiotherapy planning
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
Sanja Petrovic, Nishikant Mishra, Santhanam Sundar
SIAMAM
2011
14 years 9 months ago
Kinetics of Swelling Gels
We develop a general theory of the swelling kinetics of polymer gels, with the view that a polymer gel is a two-phase fluid. The model we propose is a free boundary problem and ca...
James P. Keener, Sarthok Sircar, Aaron L. Fogelson
CCS
2011
ACM
14 years 6 months ago
Information-flow types for homomorphic encryptions
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
Cédric Fournet, Jérémy Planul...
BIRTHDAY
2012
Springer
14 years 2 months ago
Model Transformation By-Example: A Survey of the First Wave
Abstract. Model-Driven Engineering (MDE) places models as firstclass artifacts throughout the software lifecycle. In this context, model transformations are crucial for the succes...
Gerti Kappel, Philip Langer, Werner Retschitzegger...
« Prev « First page 1572 / 1726 Last » Next »