4890 search results - page 861 / 978 » From system specifications to component behavioral models |
GROUP
2003
ACM
14 years 3 months ago
2003
ACM
In this paper we describe a current group configuration that is used to support people with cognitive disabilities (hereinafter referred to as “clients”) in the workplace. A c...
ISSTA
2009
ACM
14 years 4 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
HICSS
2008
IEEE
14 years 4 months ago
2008
IEEE
On September 5, 2006, a legal precedent was set for web accessibility. Federal judge Marilyn Patel sustained discrimination claims by the National Federation for the Blind against...
MLDM
2007
Springer
14 years 4 months ago
2007
Springer
Advances in wireless and mobile technology flood us with amounts of moving object data that preclude all means of manual data processing. The volume of data gathered from position...
SIGIR
2003
ACM
14 years 3 months ago
2003
ACM
Collaborative filtering aims at learning predictive models of user preferences, interests or behavior from community data, i.e. a database of available user preferences. In this ...