3130 search results - page 53 / 626 » Design Correctness of Digital Systems |
CHI
2002
ACM
14 years 8 months ago
2002
ACM
Notification and shared annotations go hand-in-hand. Notification of activity in a shared document system is known to support awareness and improve asynchronous collaboration, but...
JCDL
2004
ACM
14 years 1 months ago
2004
ACM
This paper describes a Web-services-based system which we have developed to enable organizations to semi-automatically preserve their digital collections by dynamically discoverin...
INFOCOM
2011
IEEE
12 years 11 months ago
2011
IEEE
—In this paper we model the digital rights management (DRM) for peer-to-peer streaming (P2PS) systems as a game. We construct the DRM game from both content service provider (CSP...
ICAC
2008
IEEE
14 years 2 months ago
2008
IEEE
We describe an automated method to generating models of an autonomic system. Specifically, we generate UML state diagrams for a set of interacting objects, including the extensio...
ISCAS
1995
IEEE
13 years 11 months ago
1995
IEEE
Embryological electronics or “Embryonics” is a new paradigm for developing digital systems of any complexity, endowed of universal computation, self-repair and self-reproducti...