279 search results - page 25 / 56 » Testing for Refinement in CSP |
106
Voted
EOR
2002
15 years 3 months ago
2002
We describe a general methodology, socio-cognitive engineering, for the design of human-centred technology. It integrates software, task, knowledge and organizational engineering ...
171
Voted
ANTSW
2004
Springer
15 years 7 months ago
2004
Springer
ed Abstract We present two heuristic mesh-partitioning methods, both of which build on the multiple ant-colony algorithm in order to improve the quality of the mesh partitions. The...
101
Voted
CHI
2009
ACM
16 years 4 months ago
2009
ACM
While collaboration is a natural choice in many situations, there is a lack of specialized tools for collaboratively seeking information. We present design specifications and impl...
139
Voted
ISMIR
2004
Springer
15 years 9 months ago
2004
Springer
The popularity of digital music has recently rapidly increased. The widespread use on computers and portable players and its availability through the Internet have modified the in...
108
Voted
ITC
2003
IEEE
15 years 8 months ago
2003
IEEE
We present an efficient algorithm for identification of two-line bridges in combinational CMOS logic that narrows down the two-line bridge candidates based on tester responses for...