Sciweavers

3843 search results - page 340 / 769
» System support for shared objects
Sort
View
HASE
2008
IEEE
15 years 6 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
INFOCOM
2005
IEEE
16 years 9 days ago
SCOPE: scalable consistency maintenance in structured P2P systems
— While current Peer-to-Peer (P2P) systems facilitate static file sharing, newly-developed applications demand that P2P systems be able to manage dynamically-changing files. Ma...
Xin Chen, Shansi Ren, Haining Wang, Xiaodong Zhang
DESRIST
2010
Springer
171views Education» more  DESRIST 2010»
15 years 11 months ago
Usability through System-User Collaboration
Enterprise Resource Planning (ERP) systems have become essential in industry, yet the potential value created through system use can be illusive due to poor usability. Extensive in...
Tamara Babaian, Wendy T. Lucas, Jennifer Xu, Heikk...
OSDI
2002
ACM
16 years 7 months ago
Taming Aggressive Replication in the Pangaea Wide-Area File System
Pangaea is a wide-area file system that supports data sharing among a community of widely distributed users. It is built on a symmetrically decentralized infrastructure that consi...
Yasushi Saito, Christos T. Karamanolis, Magnus Kar...
DSD
2006
IEEE
110views Hardware» more  DSD 2006»
16 years 23 days ago
A Flexible, Syntax Independent Representation (SIR) for System Level Design Models
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
Ines Viskic, Rainer Dömer