Sciweavers

11063 search results - page 242 / 2213
» On the existence of universal models
Sort
View
UML
2005
Springer
16 years 3 days ago
Dynamic Secure Aspect Modeling with UML: From Models to Code
Abstract. Security engineering deals with modeling, analysis, and implementation of complex security mechanisms. The dynamic nature of such mechanisms makes it difficult to anticip...
Jan Jürjens, Siv Hilde Houmb
WINE
2005
Springer
122views Economy» more  WINE 2005»
16 years 2 days ago
On Modeling Internet QoS Provisioning from Economic Models
The modeling of Internet quality of service (QoS) provisioning is a multidisciplinary research subject. From the viewpoint of game theory, we propose a model that combines QoS inde...
Yufeng Wang, Wendong Wang
IJCAI
2007
15 years 8 months ago
Automated Benchmark Model Generators for Model-Based Diagnostic Inference
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
Gregory M. Provan, Jun Wang
WSC
2008
15 years 9 months ago
How to build valid and credible simulation models
In this tutorial we present techniques for building valid and credible simulation models. Ideas to be discussed include the importance of a definitive problem formulation, discuss...
Averill M. Law
SPATIALCOGNITION
2004
Springer
15 years 12 months ago
Modelling Models of Robot Navigation Using Formal Spatial Ontology
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
John A. Bateman, Scott Farrar