Sciweavers

1026 search results - page 155 / 206
» A Methodology for Equational Reasoning
Sort
View
ICSE
2003
IEEE-ACM
14 years 9 months ago
End-User Software Engineering with Assertions in the Spreadsheet Paradigm
There has been little research on end-user program development beyond the activity of programming. Devising ways to address additional activities related to end-user program devel...
Margaret M. Burnett, Curtis R. Cook, Omkar Pendse,...
SDM
2009
SIAM
114views Data Mining» more  SDM 2009»
14 years 6 months ago
On the Comparison of Relative Clustering Validity Criteria.
Many different relative clustering validity criteria exist that are very useful in practice as quantitative measures for evaluating the quality of data partitions, and new criter...
Lucas Vendramin, Ricardo J. G. B. Campello, Eduard...
SAC
2009
ACM
14 years 3 months ago
A collaborative tool for designing and enacting design processes
Today several approaches using Situational Method Engineering paradigm exist, each of them proposes methods and techniques for developing ad-hoc design processes. In this context ...
Massimo Cossentino, Luca Sabatucci, Valeria Seidit...
CCS
2009
ACM
14 years 3 months ago
Physically restricted authentication with trusted hardware
Modern computer systems permit users to access protected information from remote locations. In certain secure environments, it would be desirable to restrict this access to a part...
Michael S. Kirkpatrick, Elisa Bertino
FC
2009
Springer
100views Cryptology» more  FC 2009»
14 years 3 months ago
Expecting the Unexpected: Towards Robust Credential Infrastructure
Cryptographic credential infrastructures, such as Public key infrastructure (PKI), allow the building of trust relationships in electronic society and electronic commerce. At the c...
Shouhuai Xu, Moti Yung