14331 search results - page 121 / 2867 » On the modeling and analysis of obligations |
164
click to vote
ICFEM
2009
Springer
16 years 28 days ago
2009
Springer
Thread pools are often used as a pattern to increase the throughput and responsiveness of software systems. Implementations of thread pools may differ considerably from each other...
189
click to vote
HPCC
2007
Springer
16 years 15 days ago
2007
Springer
Many new Partitioned Global Address Space (PGAS) programming languages have recently emerged and are becoming ubiquitously available on nearly all modern parallel architectures. PG...
158
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
183
click to vote
CMSB
2003
Springer
15 years 11 months ago
2003
Springer
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
157
click to vote
ISIPTA
1999
IEEE
15 years 10 months ago
1999
IEEE
Bayesian implicative analysis was proposed for summarizing the association in a 22 contingency table in terms possibly asymmetrical such as, e.g., presence of feature a implies, i...