1078 search results - page 4 / 216 » Modelling and Verifying of e-Commerce Systems |
105
Voted
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
This paper introduces a new class of information security solution. The core technology, to authorize and track the use of digital files, was originally developed in eCommerce app...
81
Voted
CHI
2000
ACM
15 years 4 months ago
2000
ACM
In electronic commerce, a satisfying buyer experience is a key competitive element. We show new techniques for better adapting interaction with an electronic catalog system to act...
84
Voted
HICSS
2008
IEEE
15 years 6 months ago
2008
IEEE
On September 5, 2006, a legal precedent was set for web accessibility. Federal judge Marilyn Patel sustained discrimination claims by the National Federation for the Blind against...
DSOM
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we describe an approach for automatically generating configurations for complex applications. Automated generation of system co nfigurations is required to allow lar...
341
click to vote
ICSE
2012
IEEE-ACM
13 years 2 months ago
2012
IEEE-ACM
—We propose an extension of van Lamsweerde’s goal-oriented requirements engineering to the domain of programmable DNA nanotechnology. This is a domain in which individual devic...