15840 search results - page 485 / 3168 » The Control of Synchronous Systems |
194
click to vote
CSMR
2005
IEEE
16 years 15 days ago
2005
IEEE
Real world software systems undergo, during their lifetime, to repeated maintenance activities. Due to the market pressure and to the need for having back the system operational i...
176
click to vote
ETFA
2005
IEEE
16 years 15 days ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
188
click to vote
WOMPAT
2001
Springer
15 years 11 months ago
2001
Springer
Clusters of high-end workstations and PCs are currently used in many application domains to perform large-scale computations or as scalable servers for I/O bound tasks. Although cl...
182
click to vote
CSCW
1994
ACM
15 years 11 months ago
1994
ACM
Ethnography has gained considerable prominence as a technique for informing CSCW systems development of the nature of work. Experiences of ethnography reported to date have focuse...