315 search results - page 30 / 63 » A generic type system for the Pi-calculus |
ENTCS
2008
13 years 7 months ago
2008
This paper presents fixpoint calculations on lattice structures as example of highly modular programming in a dependently typed functional language. We propose a library of Coq mo...
WICSA
2001
13 years 9 months ago
2001
Increasingly, systems are composed from independently developed parts, and mechanisms that allow those parts to interact (connectors). In many situations, specialized forms of int...
AEI
2004
13 years 7 months ago
2004
Although the importance of knowledge sharing among designers has been widely recognized, knowledge about functionality in the conceptual design phase is hard to capture and is oft...
ICAC
2008
IEEE
14 years 2 months ago
2008
IEEE
Current weather forecast and visualization systems lack the scalability to support numerous customized requests for weather research and forecasting, especially at the time of nat...
KCAP
2005
ACM
14 years 1 months ago
2005
ACM
The AutoFeed system automatically extracts data from semistructured web sites. Previously, researchers have developed two types of supervised learning approaches for extracting we...