1523 search results - page 167 / 305 » Partially ordered secretaries |
165
click to vote
IEEEICCI
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper presents an approach that integrates computational intelligence/soft computing paradigms with clinical investigation methods and knowledge. Computational intelligence m...
159
click to vote
FASE
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
207
click to vote
CSFW
2000
IEEE
15 years 10 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
150
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
149
click to vote
DEXAW
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a first step towards a security model that defines access control for logical document structures. el benefits from roles to abstract from users and from secur...