Sciweavers

1816 search results - page 197 / 364
» ITS Domain Modelling with Ontology
Sort
View
OOIS
2001
Springer
15 years 11 months ago
Towards a Model-Driven Approach to Reuse
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
Robert B. France, Sudipto Ghosh, Daniel E. Turk
IJCAI
1989
15 years 7 months ago
Generating Facts From Opinions with Information Source Models
This paper describes an attempt to model the method of generating a fact from the opinions of other persons or of institutions as a process which is based on knowledge about these...
Martin Thost
JOT
2006
109views more  JOT 2006»
15 years 6 months ago
UML 2.0 Notation for Modeling Real Time Task Scheduling
UML is the standard visual object modeling language which may be very useful as a system design communication language. However, UML as a real-time modeling language has limitatio...
María Cruz Valiente, Gonzalo Génova,...
SIGMETRICS
2008
ACM
130views Hardware» more  SIGMETRICS 2008»
15 years 6 months ago
Using probabilistic model checking in systems biology
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
Marta Z. Kwiatkowska, Gethin Norman, David Parker
IMCSIT
2010
15 years 3 months ago
On the Numerical Analysis of Stochastic Lotka-Volterra Models
The stochastic Lotka-Volterra model is an infinite Markov population model that has applications in various life science domains. Its analysis is challenging since, besides an infi...
Tugrul Dayar, Linar Mikeev, Verena Wolf