Sciweavers

1557 search results - page 186 / 312
» Evolution of Business Processes and a Process Simulation Too...
Sort
View
WSC
2004
15 years 5 months ago
Implementing a General Purpose Framework Using Multi-Agents for Construction Management Education
The need for contextually rich educational experiences in construction education has led researchers to explore alternatives using gaming and simulation environments. The work don...
Amlan Mukherjee, Eddy M. Rojas, William Winn
BMCBI
2008
130views more  BMCBI 2008»
15 years 4 months ago
IDEA: Interactive Display for Evolutionary Analyses
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...
Amy Egan, Anup Mahurkar, Jonathan Crabtree, Jonath...
FOSSACS
2003
Springer
15 years 9 months ago
An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
In previous work we have investigated a notion of approximate bisimilarity for labelled Markov processes. We argued that such a notion is more realistic and more feasible to compu...
Franck van Breugel, Michael W. Mislove, Joël ...
JSC
2010
100views more  JSC 2010»
14 years 10 months ago
An invariant-based approach to the verification of asynchronous parameterized networks
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
Igor V. Konnov, Vladimir A. Zakharov
135
Voted
AISM
2004
15 years 5 months ago
Securing Web Services with XML aware Digital Signatures
The evolution of web services has facilitated the integration of business processes scattered across different geographical locations of the world. Along with the benefits that we...
Sabbir Ahmed, Leisa Armstrong