7099 search results - page 44 / 1420 » Context for models of concurrency |
LMO
1996
13 years 11 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
DATE
2005
IEEE
14 years 3 months ago
2005
IEEE
As technology scales down, the static power is expected to become a significant fraction of the total power. The exponential dependence of static power with the operating temperat...
WSC
2008
14 years 6 days ago
2008
One of the most important challenges for mining engineers is to correctly analyze and generate short-term planning schedules, or simply month mining plan. The objective is to demo...
ECEASST
2011
13 years 4 months ago
2011
Workflow evolution is a collective term for concepts that deal with changes of workflow models. Adapted workflow models are deployed on a workflow engine as new model version. That...
ACSD
2001
IEEE
14 years 1 months ago
2001
IEEE
We describe a framework where formal models can be rigorously defined and compared, and their interconnections can be unambiguously specified. We use trace algebra and trace struc...