1941 search results - page 220 / 389 » Reasoning about Computations Using Two-Levels of Logic |
139
click to vote
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
112
click to vote
EPART
2011
14 years 3 months ago
2011
Abstract. The Structured Online Consultation tool (SCT) is a component tool in the IMPACT Project which is used to construct and present detailed surveys that solicit feedback from...
133
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
110
click to vote
AGILE
2007
Springer
15 years 10 months ago
2007
Springer
Using qualitative reasoning with geographic information, contrarily, for instance, with robotics, looks not only fastidious (i.e.: encoding knowledge Propositional Logics PL), but ...
149
click to vote
PLILP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...