Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Isabel Tonin"'
Autor:
Guilherme Bittencourt, Isabel Tonin
Publikováno v:
Journal of Automated Reasoning. 27:353-389
The transformation between conjunctive and disjunctive canonical forms is useful in domains such as theorem proving, function minimization, and knowledge representation. In this paper, we present a concurrent algorithm for this transformation, suitab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b9de744f79dfbf18833932ee7952073e
https://doi.org/10.1023/a:1011917032470
https://doi.org/10.1023/a:1011917032470
Publikováno v:
JTRES
Though real-time Java offers significant advantages over other programming languages for safe programming, the analysis of worst case execution of real-time Java programs is considerably more difficult. The extra complexity can be addressed using a m
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4a95da18bd8092b5c46800ee2fd6aaab
https://doi.org/10.1145/1434790.1434806
https://doi.org/10.1145/1434790.1434806
Publikováno v:
JTRES
The current trend in Model Driven Architecture is to use model transformation to refine a model from a platform-independent model to a platform-specific model, resulting in a linear development process. With the advent of commercially available realt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82a996286baf76b2f45d8ee894b9561e
https://doi.org/10.1145/1288940.1288966
https://doi.org/10.1145/1288940.1288966
Publikováno v:
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06.
The literature for deductive formal verification is quite rich; however, very few case studies have been done. The authors present a case study of using deductive formal verification of a navigation system from the avionics domain. Both writing the s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::51f1a66dafa9e6f973e6b8b6c16111ac
https://doi.org/10.1145/1167999.1168018
https://doi.org/10.1145/1167999.1168018
Publikováno v:
Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems - JTRES '06.
Determining concrete bounds for loops is one of the more vexing problems of resource analysis of realtime programs. Current mechanisms are limited in scope and require considerable user input that can not be verified. The authors present a methodolog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::82cc7a3b4f42e2e04a5eb1522fa0b194
https://doi.org/10.1145/1167999.1168026
https://doi.org/10.1145/1167999.1168026
Autor:
Isabel Tonin, Guilherme Bittencourt
Publikováno v:
Artificial Intelligence and Symbolic Computation ISBN: 9783540420712
AISC
AISC
In this paper we describe a first-order logic inference strategy based on information extracted from both conjunctive and disjunctive normal forms. We claim that the search problem for a proof can benefit from this further information, extending the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c213e157fbfcee2fd8b4e8c68740c46
https://doi.org/10.1007/3-540-44990-6_6
https://doi.org/10.1007/3-540-44990-6_6
Autor:
Guilherme Bittencourt, Isabel Tonin
Publikováno v:
Progress in Artificial Intelligence ISBN: 9783540635864
EPIA
EPIA
This paper presents a hierarchical heterogeneous multi-agent society based on a hypercube parallel architecture able to manage, in a distributed way, a first-order logic knowledge base and to draw inferences from it. The knowledge base is structured
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7c08b90589262b23638624adfb18bbef
https://doi.org/10.1007/bfb0023920
https://doi.org/10.1007/bfb0023920