Sciweavers

575 search results - page 25 / 115
» Wichita State University
Sort
View
CONCUR
2005
Springer
14 years 1 months ago
A Theory of System Behaviour in the Presence of Node and Link Failures
d Abstract) Adrian Francalanza and Matthew Hennessy University of Sussex, Falmer Brighton BN1 9RH, England Abstract. We develop a behavioural theory of distributed programs in the ...
Adrian Francalanza, Matthew Hennessy
SIGUCCS
2003
ACM
14 years 1 months ago
The technology learning center (TLC): a comprehensive learning environment for students
As technology becomes more pervasive in our lives, and continues to change rapidly, it is essential for college students to have opportunities to improve their computer abilities ...
Sheree Kornkven
WIA
2001
Springer
14 years 7 days ago
Past Pushdown Timed Automata
d Abstract) Zhe Dang   , Tevfik Bultan ¡ , Oscar H. Ibarra ¡ , and Richard A. Kemmerer ¡ ¢ School of Electrical Engineering and Computer Science Washington State University P...
Zhe Dang, Tevfik Bultan, Oscar H. Ibarra, Richard ...
HCI
2009
13 years 5 months ago
The Evolution of a Web Accessibility Testing Protocol
In early 2007, the California State University (CSU) system initiated a program to make all information technology accessible to persons with disabilities; the authors were appoint...
Tom Jewett, Wayne Dick
CONCUR
2012
Springer
11 years 10 months ago
Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
Simulation and Abstraction Guy Avni and Orna Kupferman School of Computer Science and Engineering, Hebrew University, Israel Weighted automata map input words to real numbers and a...
Guy Avni, Orna Kupferman