1268 search results - page 167 / 254 » Verifying distributed systems: the operational approach |
EDOC
2005
IEEE
14 years 3 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
IEEEPACT
1998
IEEE
14 years 2 months ago
1998
IEEE
Determination of data dependences is a task typically performed with high-level language source code in today's optimizing and parallelizing compilers. Very little work has b...
IPPS
2005
IEEE
14 years 3 months ago
2005
IEEE
Left unchecked, the fundamental drive to increase peak performance using tens of thousands of power hungry components will lead to intolerable operating costs and failure rates. R...
CJ
2010
13 years 7 months ago
2010
Consistent with the divide-and-conquer approach to problem solving, a recursive result is presented in the domain of stochastic modelling that derives product-form solutions for t...
SENSYS
2005
ACM
14 years 3 months ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...