3921 search results - page 450 / 785 » Transforming Models with ATL |
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
We deal with temporal aspects of distributed systems, introducing and studying a new model called timed distributed -calculus. This model extends distributed -calculus with timers...
177
Voted
JHSN
2006
15 years 6 months ago
2006
We present a refined model for Role Based Access Control policies and define a risk measure for the model, which expresses elements of the operational, combinatorial and conflict ...
163
click to vote
PAMI
2006
15 years 6 months ago
2006
We describe an algorithm for context-based segmentation of visual data. New frames in an image sequence (video) are segmented based on the prior segmentation of earlier frames in ...
155
click to vote
IVC
2007
15 years 6 months ago
2007
This paper tackles the problem of the computation of a planar polygonal curve from a digital planar curve, such that the digital data can be exactly retrieved from the polygonal c...
171
click to vote
ANSOFT
2002
15 years 6 months ago
2002
This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design proc...