1802 search results - page 62 / 361 » Model-based Theory Combination |
SIAMDM
2010
13 years 3 months ago
2010
Thomassen (J. Combin. Theory Ser. B, 62 (1994), pp. 180
ISIPTA
2005
IEEE
14 years 2 months ago
2005
IEEE
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
: Since no fusion theory neither rule fully satisfy all needed applications, the author proposes a Unification of Fusion Theories and a combination of fusion rules in solving probl...
ENTCS
2010
13 years 9 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
ICFP
2006
ACM
14 years 9 months ago
2006
ACM
In previous work, we proposed a Hoare Type Theory (HTT) which combines effectful higher-order functions, dependent types and Hoare Logic specifications into a unified framework. H...