1724 search results - page 26 / 345 » Models for Concurrency |
FM
2008
Springer
13 years 9 months ago
2008
Springer
Modal
LMO
1996
13 years 8 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 1 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
13 years 9 months 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...
ACSD
2001
IEEE
13 years 11 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...