722 search results - page 125 / 145 » The State Operator in Real Time Process Algebra |
SGAI
2004
Springer
15 years 5 months ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
PODC
1997
ACM
15 years 3 months ago
1997
ACM
Conditions on a shared object type T are given that are both necessary and sufficient for wait-free n-process consensus to be solvable using objects of type T and registers. The co...
ICTAI
1993
IEEE
15 years 3 months ago
1993
IEEE
Unit commitment is a complex decision-making process because of multiple constraints which must not be violated while nding the optimal or a near-optimal commitment schedule. This...
WSC
2004
15 years 1 months ago
2004
HDPS is a practical system for designing modeling paradigms, creating hierarchal model definitions, and evaluating multi-paradigm models - particularly in business and finance. HD...
COMPSEC
2008
14 years 11 months ago
2008
While general-purpose processor based systems are built to enforce memory protection to prevent the unintended sharing of data between processes, current systems built around reco...