1422 search results - page 151 / 285 » Complementation in Abstract Interpretation |
143
click to vote
SAS
1991
Springer
15 years 7 months ago
1991
Springer
Specializing programs by partial evaluation is well defined extensionally, but in practice no intensional properties, such as what the specialized programs will look like or how ...
125
click to vote
FASE
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The problem of interpreting the results of software performance analysis is very critical. Software developers expect feedbacks in terms of architectural design alternati...
159
click to vote
DBSEC
2001
15 years 5 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
141
Voted
AAAI
1996
15 years 5 months ago
1996
This paper describes the spatial aggregation language and its applications. Spatial aggregation comprises a framework and a mechanism for organizing computations around image-like...
153
click to vote
KI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Assisted living means providing the assisted with custom services, specific to their needs and capabilities. Computer monitoring can supply some of these services, be it ...