2123 search results - page 371 / 425 » Composition of Cyber-Physical Systems |
SC
2005
ACM
14 years 4 months ago
2005
ACM
The development of complex scientific applications for high-end systems is a challenging task. Addressing complexity of the involved software and algorithms is becoming increasing...
ASIACRYPT
2005
Springer
14 years 4 months ago
2005
Springer
We introduce a new cryptographic primitive called the blind coupon mechanism (BCM). In effect, the BCM is an authenticated bit commitment scheme, which is AND-homomorphic. It has n...
ESWS
2005
Springer
14 years 4 months ago
2005
Springer
The power of Web Service (WS) technology lies in the fact that it establishes a common, vendor-neutral platform for integrating distributed computing applications, in intranets as ...
FOSSACS
2005
Springer
14 years 4 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
GRID
2005
Springer
14 years 4 months ago
2005
Springer
— Services-oriented architectures hold a lot of promise for grid-enabling scientific applications. In recent times, Web services have gained wide-spread acceptance in the Grid c...