2237 search results - page 255 / 448 » Analysis and Testing of Web Applications |
146
click to vote
LREC
2010
15 years 7 months ago
2010
The increasing amount of available textual information makes necessary the use of Natural Language Processing (NLP) tools. These tools have to be used on large collections of docu...
177
click to vote
PLDI
2009
ACM
16 years 29 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
194
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Several biological techniques result in the acquisition of functional sets of cDNAs that must be sequenced and analyzed. The emergence of redundant databases such as U...
174
click to vote
NTMS
2008
IEEE
16 years 16 days ago
2008
IEEE
—We propose an access control model that extends RBAC (Role-Based Access Control) to take time and location into account, and use term rewriting systems to specify access control...
130
click to vote
SEMWEB
2007
Springer
16 years 8 days ago
2007
Springer
Abstract. Recent work in the field of middleware technology proposes semantic spaces as a tool for coping with the scalability, heterogeneity and dynamism issues of large scale di...