2055 search results - page 238 / 411 » Generic Model Refactorings |
128
click to vote
SP
2006
IEEE
15 years 9 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...
103
click to vote
ELPUB
2006
ACM
15 years 9 months ago
2006
ACM
This paper concerns the document multi-structuring issue. For various use objectives, many distinct structures may be defined simultaneously for the same original document. For ex...
BPM
2005
Springer
15 years 8 months ago
2005
Springer
With the new middleware IT technologies such as Web Services and peer-to-peer computing facilities, a Virtual Enterprise can be built easier achieving some problems of interoperabi...
133
Voted
IPMI
2005
Springer
15 years 8 months ago
2005
Springer
Brain MR image segmentation is an important research topic in medical image analysis area. In this paper, we propose an active contour model for brain MR image segmentation, based ...
129
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...