1087 search results - page 11 / 218 » The DecideIT Decision Tool |
JBI
2011
13 years 2 months ago
2011
We are developing a set of ontologies that deal with vector-borne diseases and the arthropod vectors that transmit them. For practical reasons (application priorities), we initiat...
WSC
1997
13 years 8 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
ENTCS
2006
13 years 7 months ago
2006
Effective formal verification tools require that robust implementations of automatic procedures for first-order logic and satisfiability modulo theories be integrated into express...
APN
2007
Springer
14 years 1 months 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...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Data warehouses are the core of decision support systems, which nowadays are used by all kind of enterprises in the entire world. Although many studies have been conducted on the ...