1492 search results - page 169 / 299 » Accessibility and computer science education |
181
click to vote
STACS
2009
Springer
16 years 1 months ago
2009
Springer
Motivated by the quantum algorithm for testing commutativity of black-box groups (Magniez and Nayak, 2007), we study the following problem: Given a black-box finite ring by an add...
177
click to vote
ACSC
2005
IEEE
16 years 3 days ago
2005
IEEE
The challenges faced by mobile and distributed applications include the ability to discover and negotiate for the resources required for execution. The NOMAD (Negotiated Object Mo...
166
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Today, as Grid Computing is becoming a reality, there is a need for managing and monitoring the available resources worldwide, as well as the need for conveying these resources to...
170
click to vote
GI
2004
Springer
15 years 12 months ago
2004
Springer
: We follow an empirical approach from data quality toward text quality, where the expectations of the consumer, human or machine, take the centre stage. We try to obtain numerical...
163
click to vote
SPIN
1999
Springer
15 years 10 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...