Sciweavers

79 search results - page 7 / 16
» Computational criticisms of the revelation principle
Sort
View
ISORC
2000
IEEE
13 years 12 months ago
Structural and Behavioral Decomposition in Object Oriented Models
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
Joachim Fischer, Eckhardt Holz, Birger Møll...
CACM
2005
59views more  CACM 2005»
13 years 7 months ago
Is the thrill gone?
een program and data, abstraction, recursion, tractability, virtualization, and fault tolerance are among its basic principles. No one would dispute that the very idea of computing...
Sanjeev Arora, Bernard Chazelle
CHI
2005
ACM
14 years 7 months ago
Dynamic speedometer: dashboard redesign to discourage drivers from speeding
We apply HCI design principles to redesign the dashboard of the automobile to address the problem of speeding. We prototyped and evaluated a new speedometer designed with the expl...
Manu Kumar, Taemie Kim
ACSAC
2000
IEEE
13 years 12 months ago
Enabling Secure On-Line DNS Dynamic Update
Domain Name System (DNS) is the system for the mapping between easily memorizable host names and their IP addresses. Due to its criticality, security extensions to DNS have been p...
Xunhua Wang, Yih Huang, Yvo Desmedt, David Rine
ACSD
2009
IEEE
118views Hardware» more  ACSD 2009»
14 years 2 months ago
Verifying Deadlock- and Livelock Freedom in an SOA Scenario
In a service-oriented architecture (SOA), a service broker assigns a previously published service (stored in a service registry) to a service requester. It is desirable for the co...
Karsten Wolf, Christian Stahl, Janine Ott, Robert ...