414 search results - page 45 / 83 » Using Strongest Postconditions to Improve Software Quality |
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
This paper presents preliminary results on anonymization and obfuscation techniques to preserve users' privacy in context-aware service provisioning. The techniques are based...
VL
2006
IEEE
14 years 2 months ago
2006
IEEE
Many end user programming tools lack adequate support for domain-specific data. We will design a lightweight representation for categories of data, called “topes,” and develop...
IADIS
2008
13 years 10 months ago
2008
This article presents an empirical study performed to evaluate the Moodle usability, from the point of view of teachers who are using this system to support their classes. The usa...
INTERACT
2003
13 years 10 months ago
2003
: Defect classification can improve product quality and motivate process improvement. Several defect classification schemes have been developed and used with good results in softwa...
IJNSEC
2010
13 years 3 months ago
2010
The efficiency of the core Galois field arithmetic improves the performance of elliptic curve based public key cryptosystem implementation. This paper describes the design and imp...