3970 search results - page 295 / 794 » A Logic For Causal Reasoning |
143
Voted
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
164
Voted
IPPS
2006
IEEE
16 years 23 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
154
Voted
PVM
2004
Springer
16 years 2 days ago
2004
Springer
We introduce a refinement strategy to bring the parallel performance analysis closer to the user. The analysis starts with a simple high-level performance model. It is based on fir...
127
click to vote
AAAI
2008
15 years 9 months ago
2008
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
148
click to vote
WSC
1998
15 years 8 months ago
1998
Causality constraints of random discrete simulation make parallel and distributed processing difficult. Methods of applying reconfigurable logic to implement and accelerate simula...