1487 search results - page 91 / 298 » Two Kinds of Metonymy |
230
click to vote
CAIP
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
179
click to vote
COCO
2003
Springer
16 years 14 days ago
2003
Springer
We define and study strong diagonalization and compare it to weak diagonalization, implicit in [7]. Kozen’s result in [7] shows that virtually every separation can be recast as...
193
click to vote
DEXA
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. Access control policies are security policies that govern access to resources. Real-time update of access control policies, that is, updating policies while they are in e...
188
click to vote
ICTCS
2003
Springer
16 years 13 days ago
2003
Springer
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
252
click to vote
CSMR
2002
IEEE
16 years 6 days ago
2002
IEEE
It is shown how software metrics and architectural patterns can be used for the management of software evolution. In the presented architecture-centric software evolutionmethod th...