5639 search results - page 571 / 1128 » Timed Abstract Non-interference |
129
Voted
SEAL
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. In this paper, we discuss an approach to an operator scheduling problem in a large organization over time with the aim of maintaining service quality and reducing total l...
164
click to vote
ICSM
1996
IEEE
15 years 10 months ago
1996
IEEE
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
158
click to vote
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. This work discusses the CROQUE approach to the maintenance problem for materialized views. In a CROQUE database, application-speci ed collections (type extents or classes...
205
click to vote
ECOOP
1997
Springer
15 years 10 months ago
1997
Springer
We propose a new model for exible composition of objects et of features. Features are similar to (abstract) subclasses, but only provide the core functionality of a (sub)class. Ove...
180
click to vote
ITC
1996
IEEE
15 years 10 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...