2291 search results - page 277 / 459 » Representational Reasoning and Verification |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
This paper presents a toolkit for spreadsheet visualization based on logical areas, semantic classes and data Logical areas, semantic classes and data modules are abstract represe...
CAI
1998
Springer
13 years 10 months ago
1998
Springer
Abstract. Imaging is a class of non-Bayesian methods for the revision of probability density functions originally proposed as a semantics for conditional logic. Two of these revisi...
JFP
2002
13 years 10 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
SAC
2002
ACM
13 years 10 months ago
2002
ACM
Interactive storytelling can either be based on explicit plot representations or on the autonomous behaviour of artificial characters. In such a character-based approach, the dyna...
IJWET
2008
13 years 9 months ago
2008
: Building service-based architectures has become a major area of interest since the advent of web services. Modelling these architectures is a central activity. Model-driven devel...