1481 search results - page 268 / 297 » Enriching the Software Development Process by Formal Methods |
163
Voted
ASE
2004
15 years 3 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
118
Voted
ICCV
2001
IEEE
16 years 5 months ago
2001
IEEE
Principal Component Analysis (PCA) has been widely used for the representation of shape, appearance, and motion. One drawback of typical PCA methods is that they are least squares...
142
click to vote
CHI
2004
ACM
16 years 3 months ago
2004
ACM
This paper sums up lessons learned from a sequence of cooperative design workshops where end users were enabled to design mobile systems through scenario building, role playing, a...
133
Voted
PDC
2004
ACM
15 years 8 months ago
2004
ACM
To compare the outcomes of participatory and user-centered contextual design, case study methods and the Activity Checklist derived from Activity Theory are used to analyze two sy...
152
Voted
TASE
2010
IEEE
14 years 10 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...