6740 search results - page 308 / 1348 » Using Classification as a Programming Language |
101
click to vote
TBILLC
2005
Springer
15 years 8 months ago
2005
Springer
We implement the extension of the logical consequence relation to a partial order ≤ on arbitary types built from e (entities) and t (Booleans) that was given in [1], and the de...
137
Voted
PET
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
127
click to vote
SAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
118
click to vote
ICSE
1993
IEEE-ACM
15 years 7 months ago
1993
IEEE-ACM
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
146
Voted
ENTCS
2006
15 years 2 months ago
2006
In this study, we introduce a model transformation tool for a time-triggered language: Giotto. The tool uses graphs to represent the source code (Giotto) and the target (the sched...