5182 search results - page 281 / 1037 » COTS-Based Requirements Engineering |
209
click to vote
IUI
2011
ACM
14 years 10 months ago
2011
ACM
Controlling the movements of mobile robots, including driving the robot through the world and panning the robot’s cameras, typically requires many physical joysticks, buttons, a...
232
click to vote
PPOPP
2011
ACM
14 years 10 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
199
click to vote
ATAL
2011
Springer
14 years 7 months ago
2011
Springer
We propose that the trust an agent places in another agent declaratively captures an architectural connector between the two agents. We formulate trust as a generic modality expre...
248
click to vote
CBSE
2011
Springer
14 years 7 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
223
click to vote
COMPSAC
2011
IEEE
14 years 7 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...