1153 search results - page 70 / 231 » Compositional Specification Calculus for Information Systems... |
138
click to vote
PDC
2004
ACM
15 years 9 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...
144
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
135
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In e-commerce, for some cases the service requested by the consumer cannot be fulfilled by the producer. In such cases, service consumers and producers need to negotiate their ser...
137
click to vote
CTW
2008
15 years 2 months ago
2008
Modern developments in the use of information technology within command and control allow unprecedented degrees of flexibility in the way teams deal with tasks. These developments...
131
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
This paper presents a case study of the NASA Ames Research Center HCI Group's design and development of a problem reporting system for NASA's next generation vehicle (to...