4418 search results - page 148 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
140
Voted
DAC
2006
ACM
15 years 10 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
128
Voted
SIGDOC
2009
ACM
15 years 11 months ago
2009
ACM
Users of help systems often complain that they do not find them useful; while they still use help at least occasionally, they resort to other problem-solving strategies. In this p...
161
click to vote
NDSS
2009
IEEE
15 years 11 months ago
2009
IEEE
Cross-site scripting (or XSS) has been the most dominant class of web vulnerabilities in 2007. The main underlying reason for XSS vulnerabilities is that web markup and client-sid...
172
click to vote
W4A
2005
ACM
15 years 10 months ago
2005
ACM
The need for providing learners with web-based learning content that match their accessibility needs and preferences, as well as providing ways to match learning content to userâ€...
181
Voted
SAS
1994
Springer
15 years 8 months ago
1994
Springer
Amtoft has formulated an "on-line" constraint normalization method for solving a strictness inference problem inspired by Wright. From the syntactic form of the normaliz...