1129 search results - page 136 / 226 » Formal Verification of Websites |
207
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
182
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Interest in Graphical Processing Units (GPUs) is skyrocketing due to their potential to yield spectacular performance on many important computing applications. Unfortunately, writ...
153
click to vote
EGOV
2005
Springer
15 years 12 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
161
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
Louisiana State University’s Biomedical Research Center is going through a major expansion in reaching its 5 year strategic plan. With expansion comes an opportunity to “get t...
144
click to vote
ASSETS
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents the development of a set of researchderived ageing-centred Web design guidelines. An initial set of guidelines was first developed through an extensive review ...