438 search results - page 42 / 88 » A convenient differential category |
ICSE
2011
IEEE-ACM
13 years 13 days ago
2011
IEEE-ACM
We present a unified environment for running declarative specifications in the context of an imperative object-oriented programming language. Specifications are Alloy-like, wri...
NAR
2011
12 years 11 months ago
2011
BTO, the BRENDA Tissue Ontology (http://www .BTO.brenda-enzymes.org) represents a comprehensive structured encyclopedia of tissue terms. The project started in 2003 to create a co...
ICFP
2012
ACM
11 years 11 months ago
2012
ACM
This paper presents a new functional programming model for graph structures called structured graphs. Structured graphs extend conventional algebraic datatypes with explicit defi...
MSWIM
2005
ACM
14 years 2 months ago
2005
ACM
An analytical model is proposed to describe the priority schemes of the EDCA mechanism of the IEEE 802.11e standard. EDCA provides class-based differentiated QoS to IEEE 802.11 WL...
EUROGP
2000
Springer
14 years 17 days ago
2000
Springer
A mathematical formula containing one or more free variables is "general" in the sense that it provides a solution to an entire category of problems. For example, the fa...