537 search results - page 90 / 108 » Extended directed triple systems |
JCNS
1998
13 years 9 months ago
1998
An analytical approach is presented for determining the response of a neuron or of the activity in a network of connected neurons, represented by systems of nonlinear ordinary stoc...
SACMAT
2011
ACM
13 years 1 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
ACMACE
2006
ACM
14 years 4 months ago
2006
ACM
Interactive synthetic environments are currently used in a wide variety of applications, including video games, exposure therapy, education, and training. Their success in such do...
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Model checking has proven to be an eļ¬ective technology for veriļ¬cation and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ICS
2005
Tsinghua U.
14 years 3 months ago
2005
Tsinghua U.
We present compiler techniques for translating OpenMP shared-memory parallel applications into MPI messagepassing programs for execution on distributed memory systems. This transl...