Sciweavers

1420 search results - page 39 / 284
» A combined functional and object-oriented approach to softwa...
Sort
View
EUROMICRO
1996
IEEE
14 years 25 days ago
A Graph Rewriting Approach for Transformational Design of Digital Systems
Transformational design integrates design and verification. It combines "correctness by construciion" and design creativity by the use ofpre-proven behaviour preserving ...
Corrie Huijs
HICSS
2006
IEEE
135views Biometrics» more  HICSS 2006»
14 years 2 months ago
Using Function Generalization to Design a Cosequential Processing Framework
Abstract— Framework design is a multifaceted endeavor undertaken to promote reuse of software within a family of related applications. Traditional approaches involve either the e...
H. Conrad Cunningham, Pallavi Tadepalli
POPL
2007
ACM
14 years 9 months ago
Scrap your boilerplate with XPath-like combinators
XML programming involves idioms for expressing `structure shyness' such as the descendant axis of XPath or the default templates of XSLT. We initiate a discussion of the rela...
Ralf Lämmel
BILDMED
2009
175views Algorithms» more  BILDMED 2009»
13 years 9 months ago
Adapted Transfer Function Design for Coronary Artery Evaluation
We present an approach for adapted transfer function (TF) specification to highlight pathologic changes of the coronary artery vessel wall based on contrast medium-enhanced compute...
Sylvia Glaßer, Steffen Oeltze, Anja Hennemut...

Book
411views
15 years 6 months ago
Concrete Abstractions
"This book has evolved from materials used in an undergraduate course intended for final year undergraduate students whose background includes at least one year's experie...
Max Hailperin, Barbara Kaiser, and Karl Knight