2722 search results - page 247 / 545 » The Model Evolution Calculus |
162
Voted
DBSEC
1996
15 years 5 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
113
Voted
ENTCS
2010
15 years 3 months ago
2010
The notion of arrow by Hughes is an axiomatization of the algebraic structure possessed by structured computations in general. We claim that an arrow also serves as a basic compon...
121
Voted
ENTCS
2008
15 years 3 months ago
2008
To provide formal foundations to current (web) services technologies, we put forward using COWS, a process calculus for specifying, combining and analysing services, as a uniform ...
96
Voted
ENTCS
2007
15 years 3 months ago
2007
We investigate the domain-theoretic denotational semantics of a CPS with fresh name declaration. This is the target of a fully abstract CPS translation from the nu-calculus with ï...
163
click to vote
ICIP
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper presents a content-based approach for temporal segmentation of videos. Tracked objects are characterized by their 2D trajectories which are used in a meaningful way to ...