4290 search results - page 56 / 858 » Formal Approaches to Teamwork |
157
click to vote
JUCS
2007
15 years 6 months 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...
186
click to vote
SERP
2007
15 years 7 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...
176
click to vote
DATE
2004
IEEE
15 years 10 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...
165
click to vote
RULEML
2005
Springer
15 years 12 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...
159
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Non-classical logics have proven to be an adequate framework to formalize knowledge representation. In this paper we focus on a multimodal approach to formalize order-of-magnitude ...