2274 search results - page 393 / 455 » Qualitative Modeling for Requirements Engineering |
145
click to vote
PLDI
2009
ACM
16 years 8 days ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
175
click to vote
INTERACTION
2009
ACM
15 years 12 months ago
2009
ACM
DTD and its instance have been considered the standard for data representation and information exchange format on the current web. However, when coming to the next generation of w...
140
click to vote
SCAM
2008
IEEE
15 years 12 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
148
click to vote
JCDL
2006
ACM
15 years 11 months ago
2006
ACM
A number of projects are creating searchable digital libraries of printed books. These include the Million Book Project, the Google Book project and similar efforts from Yahoo an...
175
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
This paper surveys a variety of subsystems designed to be the building blocks from which sophisticated infrastructures for ubiquitous computing are assembled. Our experience shows...