3179 search results - page 49 / 636 » Applications of PCF Theory |
COMBINATORICS
1999
15 years 4 days ago
1999
This is a continuation of our paper "A Theory of Pfaffian Orientations I: Perfect Matchings and Permanents". We present a new combinatorial way to compute the generating...
96
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
161
Voted
POPL
2007
ACM
16 years 24 days ago
2007
ACM
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
114
click to vote
EUSAI
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we review different context classification systems that have been used to define elements of context. Although existing classification systems cover various types of...
121
Voted
ECTEL
2006
Springer
15 years 4 months ago
2006
Springer
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...