108 search results - page 4 / 22 » forte 2007 |
107
Voted
FORTE
1994
15 years 5 months ago
1994
99
Voted
DGO
2004
15 years 5 months ago
2004
133
Voted
FORTE
2004
15 years 5 months ago
2004
Abstract. As its name indicates, NGSCB aims to be the "Next-Generation Secure Computing Base". As envisioned in the context of Trusted Computing initiatives, NGSCB provid...
120
Voted
FORTE
2004
15 years 5 months ago
2004
Abstract. Event-based process algebraic specification languages support an elegant specification technique by which system behaviours are described as compositions of constraints o...
121
Voted
FORTE
2004
15 years 5 months ago
2004
This paper proposes an algorithm for the construction of an MSC graph from a given set of actual behaviors of an existing concurrent system which has repetitive subfunctions. Such ...