3911 search results - page 578 / 783 » Using Operational Architecture to Model Embedded Software |
159
click to vote
PLDI
2006
ACM
16 years 14 days ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
133
click to vote
WSC
2000
15 years 7 months ago
2000
An advanced processing machine interacts with the material handling system, personnel and cell or shop floor controller in real-time via messaging and control. However, current si...
192
click to vote
SEKE
1995
Springer
15 years 10 months ago
1995
Springer
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
136
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
The stochastic Greenberg-Hastings cellular automaton is a model that mimics the propagation of reaction-diffusion waves in active media. Notably, this model undergoes a phase tran...
221
click to vote
SSR
2001
15 years 8 months ago
2001
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...