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