603 search results - page 119 / 121 » Determining Accessibility Needs Through User Goals |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
TMC
2010
13 years 6 months ago
2010
—A key challenge in the design of real-time wireless multimedia systems is the presence of fading coupled with strict delay constraints. A very effective answer to this problem i...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
This paper presents HomeViews, a peer-to-peer middleware system for building personal data management applications. HomeViews provides abstractions and services for data organizat...
SAC
2010
ACM
14 years 2 months ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
WETICE
2009
IEEE
14 years 2 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...