Sciweavers

678 search results - page 89 / 136
» A Universal Framework for Self-Replication
Sort
View
W4A
2006
ACM
15 years 3 months ago
Mobile phones may be the right devices for supporting developing world accessibility, but is the WWW the right service delivery
In this paper we detail the synergies we have observed between the features and limitations of mobile phones, and the usability and accessibility requirements of rural developing ...
Tapan S. Parikh
CONCUR
2005
Springer
15 years 3 months ago
SOS for Higher Order Processes
d Abstract) MohammadReza Mousavi1 , Murdoch J. Gabbay2 , and Michel A. Reniers1 1 Department of Computer Science, 2 Department of Computer Science, Eindhoven University of Technolo...
Mohammad Reza Mousavi, Murdoch Gabbay, Michel A. R...
ICSE
2010
IEEE-ACM
15 years 2 months ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta
RP
2009
Springer
136views Control Systems» more  RP 2009»
15 years 2 months ago
Abstract Counterexamples for Non-disjunctive Abstractions
Counterexamples for Non-disjunctive ions K. L. McMillan1 and L. D. Zuck2 1 Cadence Research Labs 2 University of Illinois at Chicago Counterexample-guided abstraction refinement (...
Kenneth L. McMillan, Lenore D. Zuck
FGR
2000
IEEE
128views Biometrics» more  FGR 2000»
15 years 2 months ago
Understanding Purposeful Human Motion
Human motion can be understood on many levels. The most basic level is the notion that humans are collections of things that have predictable visual appearance. Next is the notion...
Christopher Richard Wren, Brian P. Clarkson, Alex ...