284 search results - page 19 / 57 » Labels and event processes in the Asbestos operating system |
146
click to vote
ASAP
2003
IEEE
15 years 11 months ago
2003
IEEE
— In industry, embedded systems for stream-based processing are often modelled and verified by using process networks, such as Kahn process networks. An advantage of Kahn networ...
167
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper explores the connection between semantic equivalences and preorders for concrete sequential processes, represented by means of labelled transition systems, and formats ...
150
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
The rapid changing business environment of high-tech asset intensive enterprises such as semiconductor manufacturing constantly drives production managers to look for better solut...
166
click to vote
ACSD
2003
IEEE
15 years 11 months ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
160
click to vote
TRUST
2010
Springer
15 years 4 months ago
2010
Springer
The TPM is a fairly passive entity. As a result, it can be difficult to involve the TPM in measurements of software trustworthiness beyond simple load-time hashing of static progra...