3564 search results - page 290 / 713 » Evaluating a Formal Modelling Language |
154
Voted
DEBS
2010
ACM
15 years 8 months ago
2010
ACM
An event-based solution that uses events to convey information to a monitoring tool is well suited to implementing a non-intrusive monitoring infrastructure. This enables an SOA s...
144
Voted
ISTA
2008
15 years 6 months ago
2008
Seamless exchange of models among different modeling tools increasingly becomes a crucial prerequisite for the success of modeldriven engineering. Current best practices use model ...
144
click to vote
ICTAI
2007
IEEE
15 years 11 months ago
2007
IEEE
We introduce a novel Ontology-based Argumentation Framework (OAF) that links a logic-based argumentation formalism and description logic ontologies. We show how these two formalis...
133
click to vote
APCSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
During processor design, it is often necessary to evaluate multiple cache configurations. This paper describes the design and implementation of a retargetable on-line cache simula...
119
Voted
POPL
2010
ACM
16 years 2 months ago
2010
ACM
This paper presents a method for creating formally correct just-intime (JIT) compilers. The tractability of our approach is demonstrated through, what we believe is the first, ver...