3911 search results - page 192 / 783 » Using Operational Architecture to Model Embedded Software |
200
Voted
FASE
2005
Springer
15 years 12 months ago
2005
Springer
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
145
click to vote
DAC
2004
ACM
16 years 7 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...
154
click to vote
PRDC
2008
IEEE
16 years 24 days ago
2008
IEEE
Advancements in technology enable integration of a large number of cores on a single silicon die. At the same time, aggressive technology scaling has an ever-increasing adverse im...
146
click to vote
SIGDOC
2000
ACM
15 years 10 months ago
2000
ACM
∗ DSTOP, the Design Support Tool for Operating Procedures, is a relatively simple software tool for support of designers of new interfaces and their procedures for use. DSTOP is ...
164
click to vote
POPL
2010
ACM
16 years 3 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...