3844 search results - page 175 / 769 » Modular interpreted systems |
151
Voted
CADE
1990
Springer
15 years 7 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
121
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
121
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
of abstract interpretations in formal methods It is always very satisfying to hear about a theory, in the case at hand it is the theory of abstract interpretations, that explains i...
153
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
Handwritten mathematical notation contains ambiguities of various kinds. Here we focus on ambiguity in spatial relationships; in particular, we use fuzzy logic to treat ambiguity ...
110
Voted
FM
2009
Springer
15 years 10 months ago
2009
Springer
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...