2253 search results - page 169 / 451 » The ComFoRT Reasoning Framework |
SIES
2009
IEEE
15 years 5 months ago
2009
IEEE
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
LPNMR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
CCS
2005
ACM
15 years 4 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
109
click to vote
FROCOS
2005
Springer
15 years 4 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
102
click to vote
ETFA
2008
IEEE
15 years 5 months ago
2008
IEEE
In this paper, we present the development of a plug-in framework for integration of real-time analysis methods in the Rubus Integrated Component Environment (RubusICE). We also pr...