4211 search results - page 57 / 843 » A formal approach to MASQ |
109
Voted
FOMI
2008
15 years 2 months ago
2008
I develop a few suggestions how formal ontology can meet industry and practice. This is not just a matter of useful ontology-based applications. That is a necessary but also rather...
JUCS
2007
15 years 16 days ago
2007
: Nowadays, advanced E-Learning systems are generally pedagogy-aware. Commonly, these systems include facilities for defining so-called learning scenarios that reflect sophisticate...
111
Voted
SERP
2007
15 years 2 months ago
2007
Model driven code generation has been investigated in traditional and object-oriented design paradigms; significant progress has been made. It offers many advantages including the...
107
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
106
Voted
RULEML
2005
Springer
15 years 6 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...