Sciweavers

1129 search results - page 86 / 226
» SAC and neighbourhood SAC
Sort
View
SAC
2006
ACM
16 years 14 days ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe
SAC
2006
ACM
16 years 14 days ago
A dialogue on responsibility, moral agency, and IT systems
The dialogue that follows was written to express some of our ideas and remaining questions about IT systems, moral agency, and responsibility. We seem to have made some progress o...
Deborah G. Johnson, Keith W. Miller
SAC
2006
ACM
16 years 14 days ago
A concurrent reactive Esterel processor based on multi-threading
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
Xin Li, Reinhard von Hanxleden
SAC
2006
ACM
16 years 14 days ago
Evaluation of current architecture frameworks
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
Susanne Leist, Gregor Zellner
SAC
2006
ACM
16 years 14 days ago
Supporting transparent evolution of component interfaces
Component-oriented programming facilitates the development of reusable application parts encapsulated by welldefined interfaces. There is however a tension between compatibility ...
Emanuela P. Lins, Ulrik Pagh Schultz