920 search results - page 137 / 184 » Computing the Frequency of Partial Orders |
SAC
2003
ACM
14 years 2 months ago
2003
ACM
Tracking and especially comparing psychotherapeutic processes is a complex task involving a large number of individual and complexly related parameters. Therefore, descriptive and...
SASN
2003
ACM
14 years 2 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
SC
2003
ACM
14 years 2 months ago
2003
ACM
SCALLOP is a highly scalable solver and library for elliptic partial differential equations on regular block-structured domains. SCALLOP avoids high communication overheads algor...
ICCS
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The results of analytical approximations and extensive calculations based on a path integral Monte Carlo (PIMC) scheme are presented. A new (direct) PIMC method allows fo...
ACSD
1998
IEEE
14 years 1 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...