1398 search results - page 169 / 280 » Ensuring Properties of Interaction Systems |
146
click to vote
ACSD
2005
IEEE
16 years 12 hour ago
2005
IEEE
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
178
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
We propose a method for fine grain QoS control of real-time applications. The method allows adapting the overall system behavior by adequately setting the quality level parameter...
186
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
156
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Designing applications with timeliness requirements in environments of uncertain synchrony is known to be a difficult problem. In this paper, we follow the perspective of timing ...
162
click to vote
HT
2000
ACM
15 years 10 months ago
2000
ACM
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations. Many multimedia systems encode such highlevel int...