1652 search results - page 19 / 331 » Integration in Real PCF |
104
click to vote
CCS
2000
ACM
15 years 5 months 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 ...
111
Voted
IEEECIT
2010
IEEE
14 years 11 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
15 years 2 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
15 years 6 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...
98
Voted
CORR
2010
Springer
15 years 26 days 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...