1513 search results - page 265 / 303 » Semantic Business Process Analysis |
140
Voted
FORTE
2010
15 years 5 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
164
click to vote
IJBRA
2010
15 years 2 months ago
2010
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...
135
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
183
click to vote
DOCENG
2011
ACM
14 years 3 months ago
2011
ACM
Many Web-based geographic applications have been developed in various domains, such as tourism, education, surveillance and military. However, developing such applications is a cu...
254
click to vote
Publication
Human eyes are highly efficient devices for scanning through a large quantity of low-level visual sensory data and delivering selective information to one’s brain for high-level...