3154 search results - page 484 / 631 » An annotation based approach to support design communication |
197
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Quorums are a basic construct in solving many fundamental distributed computing problems. One of the known ways of making quorums scalable and efficient is by weakening their int...
217
click to vote
IFIP
2004
Springer
16 years 13 days ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
162
click to vote
CISIS
2010
IEEE
16 years 11 days ago
2010
IEEE
—The term Enterprise 2.0 applies to the use of Web 2.0 technologies as a support for business activities within the organizations. These technologies are exploited to foster inte...
255
click to vote
COLCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
171
click to vote
IACR
2011
14 years 6 months ago
2011
We present a method to compile Yao’s two-player garbled circuit protocol into one that is secure against malicious adversaries that relies on witness indistinguishability. Our ap...