3058 search results - page 198 / 612 » Reflections |
CHI
2004
ACM
14 years 8 months ago
2004
ACM
Online personal advertisements have recently become an easy, socially acceptable way to meet partners for dates or relationships. Because popular personals systems not only reflec...
CHI
2003
ACM
14 years 8 months ago
2003
ACM
Designing information architecture for complex websites requires understanding user information needs and mental models in that domain. Personas, or user archetypes, created for s...
EDBT
2006
ACM
14 years 8 months ago
2006
ACM
A database schema should be able to evolve to reflect changes to the universe it represents. In existing systems, user transactions get blocked during complex schema transformation...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Current research in software engineering at Karlstad University is concentrated on non-formal software design methods with a focus on semantics. One goal is to produce methods, wh...