Sciweavers

4647 search results - page 759 / 930
» Composite Design Patterns
Sort
View
TLDI
2010
ACM
218views Formal Methods» more  TLDI 2010»
15 years 11 months ago
Pointwise generalized algebraic data types
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
Chuan-kai Lin, Tim Sheard
IUI
2009
ACM
15 years 11 months ago
Structuring and manipulating hand-drawn concept maps
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map cr...
Yingying Jiang, Feng Tian, XuGang Wang, Xiaolong Z...
WWW
2010
ACM
15 years 9 months ago
HTTP database connector (HDBC): RESTful access to relational databases
Relational databases hold a vast quantity of information and making them accessible to the web is an big challenge. There is a need to make these databases accessible with as litt...
Alexandros Marinos, Erik Wilde, Jiannan Lu
ICDE
2010
IEEE
199views Database» more  ICDE 2010»
15 years 9 months ago
Mining mutation chains in biological sequences
— The increasing infectious disease outbreaks has led to a need for new research to better understand the disease’s origins, epidemiological features and pathogenicity caused b...
Chang Sheng, Wynne Hsu, Mong-Li Lee, Joo Chuan Ton...
AOSD
2010
ACM
15 years 9 months ago
Reusable enterprise metadata with pattern-based structural expressions
An essential part of modern enterprise software development is metadata. Mainstream metadata formats, including XML deployment descriptors and Java 5 annotations, suffer from a n...
Eli Tilevich, Myoungkyu Song