108 search results - page 4 / 22 » forte 2007 |
FORTE
1994
15 years 1 months ago
1994
DGO
2004
15 years 1 months ago
2004
FORTE
2004
15 years 1 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...
FORTE
2004
15 years 1 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...
FORTE
2004
15 years 1 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 ...