3239 search results - page 232 / 648 » A Logical Process Calculus |
140
click to vote
AAAI
1997
15 years 6 months ago
1997
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
117
Voted
WSC
1998
15 years 6 months ago
1998
Parallel discrete event simulation (PDES) decreases a simulation's runtime by splitting the simulation's work between multiple processors. Many users avoid PDES because ...
207
click to vote
ESWS
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
234
click to vote
ICDE
2005
IEEE
16 years 6 months ago
2005
IEEE
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
135
Voted
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...