Sciweavers

5718 search results - page 266 / 1144
» Modeling Rule Precision
Sort
View
FMCO
2008
Springer
143views Formal Methods» more  FMCO 2008»
15 years 8 months ago
An Asynchronous Distributed Component Model and Its Semantics
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
Ludovic Henrio, Florian Kammüller, Marcela Ri...
IJCAI
2007
15 years 8 months ago
Modeling When Connections Are the Problem
Most AI diagnostic reasoning approaches model components and but not their interconnections, and when they do model interconnections, they model the possibility that a connection ...
Johan de Kleer
ENTCS
2002
97views more  ENTCS 2002»
15 years 6 months ago
Sketch Data Models, Relational Schema and Data Specifications
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...
Michael Johnson, Robert D. Rosebrugh
ECOOPW
2001
Springer
15 years 11 months ago
Adaptive Object-Models and Metamodeling Techniques
Many object-oriented information systems share an architectural style that emphasizes flexibility and dynamically configurable. Business rules are stored in a database instead of ...
Nicolas Revault, Joseph W. Yoder
CAISE
2006
Springer
15 years 10 months ago
Modelling and Verifying of e-Commerce Systems
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
Andreas Speck