2722 search results - page 204 / 545 » The Model Evolution Calculus |
118
click to vote
SEFM
2003
IEEE
15 years 8 months ago
2003
IEEE
We propose a formal model of trust informed by the Global Computing scenario and focusing on the aspects of trust formation, evolution, and propagation. The model is based on a no...
106
click to vote
JUCS
2007
15 years 3 months ago
2007
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
104
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
: Rapid evolution of modern Information Systems and Process-Aware Information Systems (PAIS) in particular requires transactional execution of business logic. The paper introduces ...
131
click to vote
ICCV
2003
IEEE
16 years 5 months ago
2003
IEEE
We consider the problem of image segmentation using active contours through the minimization of an energy criterion involving both region and boundary functionals. These functiona...
130
click to vote
PLDI
2005
ACM
15 years 9 months ago
2005
ACM
Today’s module systems do not effectively support information hiding in the presence of shared mutable objects, causing serious problems in the development and evolution of larg...