FM
2003
Springer
14 years 5 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
ADAPTIVE
2007
Springer
14 years 6 months ago
2007
Springer
This chapter is about personalization and adaptation in electronic commerce (e-commerce) applications. In the first part, we briefly introduce the challenges posed by e-commerce ...