1522 search results - page 124 / 305 » Supporting Dynamic Process Specifications Using Communicatio... |
122
Voted
WOSP
2004
ACM
15 years 8 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
128
Voted
SEMCO
2009
IEEE
15 years 9 months ago
2009
IEEE
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
122
Voted
FASE
2009
Springer
15 years 6 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
156
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. We propose a variational framework for the integration multiple competing shape priors into level set based segmentation schemes. By optimizing an appropriate cost functi...
ANOR
2010
15 years 2 months ago
2010
Abstract In the controlled ovary hyperstimulation (COH) cycle of the in vitro fertilization-embryo transfer (IVFET) therapy, the clinicians observe the patients' responses to ...