Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. So...
AbstractāStakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) oļ¬er diļ¬erent semantics of events. On the one hand, DEL adds dynamics to epistem...
Schema mappings come in different ļ¬avors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
David Kensche, Christoph Quix, Yong Li, Matthias J...
While enabling fast implementation and reconļ¬guration of stream applications, programmable stream processors expose issues of incompatibility and lack of adoption in existing st...
Yongxin Zhu, Zhenxin Sun, Alexander Maxiaguine, We...