2004 search results - page 365 / 401 » Comparison of Model Checking Tools for Information Systems |
148
click to vote
FUIN
2007
14 years 11 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, we propose a novel Space-Time Shift Keying (STSK) modulation scheme for MIMO communication systems, where the concept of spatial modulation is extended to include bo...
93
Voted
CAISE
2004
Springer
15 years 5 months ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
BIOSYSTEMS
2008
14 years 12 months ago
2008
Change of DNA sequence that fuels evolution is, to a certain extent, a deterministic process because mutagenesis does not occur in an absolutely random manner. So far, it has not ...
106
click to vote
BMCBI
2010
14 years 12 months ago
2010
Background: The omics fields promise to revolutionize our understanding of biology and biomedicine. However, their potential is compromised by the challenge to analyze the huge da...