1307 search results - page 168 / 262 » Follow the intellectual property |
174
click to vote
FSEN
2007
Springer
16 years 17 days 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...
137
click to vote
FSTTCS
2007
Springer
16 years 17 days 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...
148
click to vote
GPCE
2007
Springer
16 years 16 days ago
2007
Springer
Every notion of a component for the development of embedded systems has to take heterogeneity into account: components may be hardware or software or OS, synchronous or asynchrono...
191
click to vote
PAIRING
2007
Springer
16 years 16 days ago
2007
Springer
This paper puts forward new efficient constructions for public-key broadcast encryption that simultaneously enjoy the following properties: receivers are stateless; encryption is c...
151
click to vote
CCECE
2006
IEEE
16 years 14 days ago
2006
IEEE
Services such as audio/video streaming, advertising, and software distribution can be delivered much more efficiently by Network Service Providers if multicast data distribution i...