Sciweavers

1732 search results - page 190 / 347
» The design of a reliable reputation system
Sort
View
DLS
2010
170views Languages» more  DLS 2010»
15 years 4 months ago
Contracts for first-class classes
First-class classes add expressive power to class-based object-oriented languages. Most importantly, programmers ract over common scenarios with first-class classes. When it comes...
T. Stephen Strickland, Matthias Felleisen
MEMOCODE
2010
IEEE
15 years 4 months ago
LTSs for translation validation of (multi-clocked) SIGNAL specifications
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
Julio C. Peralta, Thierry Gautier, Loïc Besna...
DAC
2011
ACM
14 years 6 months ago
DRAIN: distributed recovery architecture for inaccessible nodes in multi-core chips
As transistor dimensions continue to scale deep into the nanometer regime, silicon reliability is becoming a chief concern. At the same time, transistor counts are scaling up, ena...
Andrew DeOrio, Konstantinos Aisopos, Valeria Berta...
ICECCS
2005
IEEE
86views Hardware» more  ICECCS 2005»
16 years 5 days ago
Exploiting OS-Level Mechanisms to Implement Mobile Code Security
Mobile code systems provide an infrastructure that supports autonomous mobile components, called mobile agents. The infrastructure implements services for the transfer, execution,...
Viktoria Felmetsger, Giovanni Vigna
ICRA
2000
IEEE
103views Robotics» more  ICRA 2000»
15 years 11 months ago
An Eigenscrew Analysis of Mechanism Compliance
Determination of the magnitudes and directions of the constraints of a mechanical system can be achieved by finding the basis of the system’s characteristic compliance matrix. ...
P. L. McAllister, R. E. Ellis