1451 search results - page 91 / 291 » Case Studies in Model Manipulation for Scientific Computing |
143
click to vote
EUROCRYPT
2003
Springer
15 years 9 months ago
2003
Springer
The recently proposed universally composable (UC) security framework for analyzing security of cryptographic protocols provides very strong security guarantees. In particular, a p...
114
click to vote
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...
133
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we introduce a real-time extension of the concurrent object modeling language Creol which is based on duration statements indicating best and worst case exe...
138
click to vote
CA
2000
IEEE
15 years 8 months ago
2000
IEEE
There are limitations to the current BRep based “model then animate” paradigm when animating time-dependent (dynamic) objects. This paper describes an approach to modeling dyn...
124
click to vote
BIRTHDAY
2005
Springer
15 years 10 months ago
2005
Springer
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...