3028 search results - page 534 / 606 » Integrating Temporal Logics |
HPCC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...
ITRUST
2005
Springer
14 years 1 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
SFM
2005
Springer
14 years 1 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
WILF
2005
Springer
14 years 1 months ago
2005
Springer
We have developed and continue to enhance automated intelligent software that performs the tasks and decision making which now occurs by the personnel manning watch stations in the...