1652 search results - page 19 / 331 » Integration in Real PCF |
CCS
2000
ACM
14 years 25 days ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—Simulation based training system can play an important role in education. It provides fruitful configurations with low cost of maintenance and further development compared to th...
AAAI
2010
13 years 10 months ago
2010
A major challenge in the field of AI is combining symbolic and statistical techniques. My dissertation work aims to bridge this gap in the domain of real-time strategy games.
SAG
2004
Springer
14 years 1 months ago
2004
Springer
This paper describes the design and implementation of a model of how to integrate sensors and devices into a GRID infrastructure. We describe its proxy-based approach, the port-ty...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
: In a heterogeneous, dynamic environment, like Grid, post-mortem analysis is of no use and data needs to be collected and analysed in real time. Novel techniques are also required...