5718 search results - page 348 / 1144 » Modeling Rule Precision |
205
click to vote
CAISE
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes an ontology for enterprise modelling, The ontology has enabled conceptual integration of two different modelling methodologies, one based on UEML (Unified Ente...
195
click to vote
IFM
2007
Springer
16 years 27 days ago
2007
Springer
We present an approach to modelling Abadi–Cardelli-style object calculi as Unifying Theories of Programming (UTP) designs. Here we provide a core object calculus with an operatio...
166
click to vote
HICSS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
202
click to vote
DSOM
2004
Springer
16 years 4 days ago
2004
Springer
This paper proposes a PBNM (Policy Based Network Management) framework for automating the process of generating and distributing DiffServ configuration to network devices. The fram...
158
click to vote
EAAI
2006
15 years 6 months ago
2006
An artificial neural network (ANN) model for predicting the failure rate of De Havilland Dash-8 airplane tires utilizing the twolayered feed-forward back-propagation algorithm as ...