9018 search results - page 1651 / 1804 » 3D-Brain Model Software |
133
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
110
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
126
click to vote
GCC
2007
Springer
15 years 10 months ago
2007
Springer
Rapid advancement of communication technology has changed the landscape of computing. New models of computing, such as business-on-demand, Web services, peer-to-peer networks, and...
160
click to vote
ISBRA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Cancer detection using mammography focuses on characteristics of tiny microcalcifications, including the number, size, and spatial arrangement of microcalcification clu...
118
click to vote
IWSEC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Pairing-based cryptography (PBC) has enabled the construction of many cryptographic protocols. However, there are scenarios when PBC is too heavyweight to use, such as wh...