671 search results - page 77 / 135 » On Observing and Constraining Active Systems |
94
Voted
JIIS
2008
15 years 18 days ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
104
click to vote
TROB
2002
15 years 8 days ago
2002
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
104
click to vote
OSDI
2004
ACM
16 years 28 days ago
2004
ACM
Detecting network path anomalies generally requires examining large volumes of traffic data to find misbehavior. We observe that wide-area services, such as peerto-peer systems an...
82
Voted
CHI
2005
ACM
16 years 1 months ago
2005
ACM
In the contemporary information-saturated world, there is a need for an easier, faster, and more social way to keep office workers updated and better aware of surrounding activiti...
122
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
— For both technological and economic reasons, the default path between two end systems in the wide-area Internet can be suboptimal. This observation has motivated a number of sy...