3179 search results - page 49 / 636 » Applications of PCF Theory |
COMBINATORICS
1999
13 years 8 months 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...
SEFM
2005
IEEE
14 years 2 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...
POPL
2007
ACM
14 years 9 months 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...
EUSAI
2004
Springer
14 years 2 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...
ECTEL
2006
Springer
14 years 12 days 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 ...