8555 search results - page 1533 / 1711 » Property Based Coordination |
176
click to vote
ICSE
2011
IEEE-ACM
14 years 9 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
220
click to vote
INFOCOM
2011
IEEE
14 years 9 months ago
2011
IEEE
—Most existing large-scale networked systems on the Internet such as peer-to-peer systems are vulnerable to Sybil attacks where a single adversary can introduce many bogus identi...
244
click to vote
IUI
2011
ACM
14 years 9 months ago
2011
ACM
Protractor 3D is a gesture recognizer that extends the 2D touch screen gesture recognizer Protractor [8] to 3D gestures. It inherits many of Protractor’s desirable properties, s...
303
Voted
IWINAC
2011
Springer
14 years 9 months ago
2011
Springer
Abstract. One of the more important issues in intelligent video surveillance systems is the ability to handle events from the motion of objects. Thus, the classification of the tr...
171
click to vote
JOTA
2011
14 years 9 months ago
2011
Given an algorithm A for solving some mathematical problem based on the iterative solution of simpler subproblems, an Outer Trust-Region (OTR) modification of A is the result of ...