3911 search results - page 366 / 783 » Using Operational Architecture to Model Embedded Software |
206
click to vote
TACAS
1998
Springer
15 years 11 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
145
Voted
CCS
2010
ACM
15 years 5 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...
162
click to vote
SAMOS
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
207
click to vote
SPLC
2004
15 years 8 months ago
2004
The problem of managing the evolution of complex and large software systems is well known. Evolution implies reuse and modification of existing software artifacts, and this means t...
162
click to vote
ICTAI
2003
IEEE
16 years 2 days ago
2003
IEEE
Initial deployment and subsequent dynamic reconfiguration of a software system is difficult because of the interplay of many interdependent factors, including cost, time, applicat...