Sciweavers

1371 search results - page 91 / 275
» A Model for Large Scale Self-Stabilization
Sort
View
116
Voted
EDOC
2006
IEEE
15 years 9 months ago
Workshop on ODP for Enterprise Computing (WODPEC 2006)
The RM-ODP standard still provides the only comprehensive and coherent framework of concepts for the specification of complex large scale IT systems, and has taken on a new signif...
João Paulo A. Almeida, Peter F. Linington, ...
164
Voted
ICPADS
1996
IEEE
15 years 7 months ago
Implementation of MAP: A system for mobile assistant programming
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
Stéphane Perret, Andrzej Duda
135
Voted
WABI
2007
Springer
15 years 9 months ago
Predicting Protein Folding Kinetics Via Temporal Logic Model Checking
Christopher James Langmead⋆ and Sumit Kumar Jha Department of Computer Science, Carnegie Mellon University We present a novel approach for predicting protein folding kinetics us...
Christopher James Langmead, Sumit Kumar Jha
149
Voted
CSCWD
2001
Springer
15 years 8 months ago
Modeling Workflow within Distributed Systems
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
Yuhong Yan, Alex Bejan
88
Voted
IJON
2000
62views more  IJON 2000»
15 years 3 months ago
A large-scale model of the cerebellar cortex using PGENESIS
In an investigation into the transformation of mossy ber input to Purkinje cell output in the cerebellar cortex, we have developed a network model including a sophisticated compar...
F. W. Howell, Jonas Dyhrfjeld-Johnsen, Reinoud Mae...