3565 search results - page 163 / 713 » Modeling a system controller for timing analysis |
148
click to vote
INAP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In requirements engineering use cases are employed to describe the ow of events and the occurrence of states in a future information system. Use cases consist of a set of...
125
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
144
Voted
DBSEC
2009
15 years 4 months ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...
127
Voted
HYBRID
2003
Springer
15 years 8 months ago
2003
Springer
The algorithmic analysis of timed automata is fundamentally limited by the undecidability of the universality problem. For this reason and others, there has been considerable inter...
135
Voted
ICSE
1997
IEEE-ACM
15 years 7 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...