252 search results - page 6 / 51 » Pragmatic Type Interoperability |
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
TACAS
2007
Springer
15 years 3 months ago
2007
Springer
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
100
click to vote
ESOP
1999
Springer
15 years 1 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
75
Voted
IV
2007
IEEE
15 years 3 months ago
2007
IEEE
Classifications of visualization are often based on technical criteria, and leave out artistic ways of visualizing information. Understanding the differences between information ...
LREC
2008
14 years 11 months ago
2008
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...