5904 search results - page 155 / 1181 » Requirements for a Composition Language |
151
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Maximum likelihood estimators are often of limited practical use due to the intensive computation they require. We propose a family of alternative estimators that maximize a stoch...
166
click to vote
CCS
2000
ACM
15 years 10 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 ...
141
click to vote
FM
1999
Springer
15 years 10 months ago
1999
Springer
Sharing between B constructs is limited, both on the specification and the implementation level. The limitations stem from the single writer/multiple readers paradigm, restricted ...
172
click to vote
CEC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Cloud computing is a latest new computing paradigm where applications, data and IT services are provided over the Internet. Cloud computing has become a main medium for Softwar...
151
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...