Sciweavers

361 search results - page 32 / 73
» A Vector Model of Trust for Developing Trustworthy Systems
Sort
View
ICDE
2006
IEEE
104views Database» more  ICDE 2006»
14 years 2 months ago
Trusted CVS
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...
Muthuramakrishnan Venkitasubramaniam, Ashwin Macha...
HICSS
2003
IEEE
88views Biometrics» more  HICSS 2003»
14 years 1 months ago
Internet Use, Transparency, and Interactivity Effects on Trust in Government
This paper asks how internet use, citizen satisfaction with e-government and citizen trust in government are interrelated. Prior research has found that agencies stress informatio...
Eric W. Welch, Charles C. Hinnant
SP
2009
IEEE
114views Security Privacy» more  SP 2009»
14 years 3 months ago
Formally Certifying the Security of Digital Signature Schemes
We present two machine-checked proofs of the existential unforgeability under adaptive chosen-message attacks of the Full Domain Hash signature scheme. These proofs formalize the ...
Santiago Zanella Béguelin, Gilles Barthe, B...
ICSE
2003
IEEE-ACM
14 years 8 months ago
RUPi - A Unified Process that Integrates Human-Computer Interaction and Software Engineering
This research has the main objective of presenting a study on the areas of Human-Computer Interaction (HCI) and Software Engineering (SE), focusing on the importance of integratin...
Kênia Soares Sousa, Elizabeth Furtado
NPL
2008
130views more  NPL 2008»
13 years 8 months ago
Adaptive Inverse Control of Excitation System with Actuator Uncertainty
: - This paper addresses an inverse controller design for excitation system with changing parameters and nonsmooth nonlinearities in the actuator. The existence of such nonlinearit...
Xiaofang Yuan, Yaonan Wang, Liang-Hong Wu