Sciweavers

21 search results - page 1 / 5
» stacs 2004
Sort
View
150
Voted
STACS
2004
Springer
16 years 14 days ago
Automata-Based Analysis of Recursive Cryptographic Protocols
Ralf Küsters, Thomas Wilke
164
Voted
STACS
2004
Springer
16 years 14 days ago
Strongly Stable Matchings in Time O(nm) and Extension to the Hospitals-Residents Problem
Telikepalli Kavitha, Kurt Mehlhorn, Dimitrios Mich...
198
Voted
COORDINATION
2004
Springer
16 years 15 days ago
An Operational Semantics for StAC, a Language for Modelling Long-Running Business Transactions
This paper presents the StAC language and its operational semantics. StAC (Structured Activity Compensation) is a business process modelling language and a distinctive feature of t...
Michael J. Butler, Carla Ferreira
ISBI
2004
IEEE
16 years 7 months ago
Cardiac MR Image Segmentation: Quality Assessment of STACS
We present an energy based automatic image segmentation algorithm that uses a novel active contour scheme, called the stochastic active contour scheme (STACS). The algorithm overc...
Charnchai Pluempitiwiriyawej, Chien Ho, José...