816 search results - page 124 / 164 » Practical Multi-level Modeling on MOF-compliant Modeling Fra... |
106
click to vote
EUROCRYPT
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We propose and realize a deļ¬nition of security for passwordbased key exchange within the framework of universally composable (UC) security, thus providing security guar...
METRICS
2003
IEEE
15 years 3 months ago
2003
IEEE
As distributed technologies become more widely used, the need for assessing the quality of distributed applications correspondingly increases. Despite the rich body of research an...
GROUP
2003
ACM
15 years 3 months ago
2003
ACM
Most current theories about collective cognitive activities in limited groups apply to structurally closed co-operative situations Here we propose to work in the framework of inte...
MICCAI
2009
Springer
15 years 2 months ago
2009
Springer
We propose a recursive Bayesian model for the delineation of coronary arteries from 3D CT angiograms (cardiac CTA) and discuss the use of discrete minimal path techniques as an eļ¬...
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...