5639 search results - page 566 / 1128 » Timed Abstract Non-interference |
157
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
159
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
er has outlined the potential of multiagent framework for decision support. From an abstract point of view, the concept of an agent has been used as modularization principle for th...
171
click to vote
IUI
1999
ACM
15 years 10 months ago
1999
ACM
Model-based interface development systems have not been able to progress beyond producing narrowly focused interface designs of restricted applicability. We identify a -abstractio...
185
Voted
DEXAW
1999
IEEE
15 years 10 months ago
1999
IEEE
ing spatio-temporal data as abstract data types into already existing data models is a promising approach to creating spatio-temporal query languages. In this context, an importan...
154
click to vote
SIGMETRICS
1999
ACM
15 years 10 months ago
1999
ACM
ded Abstract This paper introduces a new technique for compressing memory address traces. The technique relies on the simple observation that most programs spend their time execut...