Sciweavers

1391 search results - page 36 / 279
» The end of software training
Sort
View
ASWEC
2005
IEEE
15 years 11 months ago
Deriving Systems Level Security Properties of Component Based Composite Systems
This paper proposes an approach of defining systemslevel security properties of component-based composite systems. It argues that the security properties of a composite system ca...
Khaled M. Khan, Jun Han
HCI
2007
15 years 7 months ago
Designing for Participation in Socio-technical Software Systems
Participative software systems are a new class of software systems whose development does not end at the deployment but requires continued user participation and contribution. They...
Yunwen Ye, Gerhard Fischer
LPNMR
2005
Springer
15 years 11 months ago
Pbmodels - Software to Compute Stable Models by Pseudoboolean Solvers
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
Lengning Liu, Miroslaw Truszczynski
118
Voted
INFORMATICALT
2006
79views more  INFORMATICALT 2006»
15 years 5 months ago
Quantitative Evaluation of the Process of Open Source Software Localization
Abstract. Localization is a complex process based on translation and adaptation of software features. Usually localization progress is identified with the number of translated reso...
Valentina Dagiene, Gintautas Grigas
CHI
2007
ACM
16 years 6 months ago
Noticing notice: a large-scale experiment on the timing of software license agreements
Spyware is an increasing problem. Interestingly, many programs carrying spyware honestly disclose the activities of the software, but users install the software anyway. We report ...
Nathaniel Good, Jens Grossklags, Deirdre K. Mullig...