5 search results - page 1 / 1 » Taking Advantages of Temporal Redundancy in High Level Petri... |
APN
1993
Springer
13 years 10 months ago
1993
Springer
APN
2007
Springer
14 years 14 days ago
2007
Springer
In this work, we propose two high-level formalisms, Markov Decision Petri Nets (MDPNs) and Markov Decision Well-formed Nets (MDWNs), useful for the modeling and analysis of distrib...
INFORMS
1998
13 years 6 months ago
1998
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
ICECCS
2009
IEEE
14 years 28 days ago
2009
IEEE
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
SEMWEB
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Increasingly huge RDF data sets are being published on the Web. Currently, they use different syntaxes of RDF, contain high levels of redundancy and have a plain indivisi...