3013 search results - page 215 / 603 » Context-Oriented Domain Analysis |
163
click to vote
ISBI
2006
IEEE
16 years 7 months ago
2006
IEEE
Protein subcellular locations, as an important property of proteins, are commonly learned using fluorescence microscopy. Previous work by our group has shown that automated analys...
253
click to vote
POPL
2003
ACM
16 years 6 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
177
click to vote
ICUIMC
2009
ACM
16 years 1 months ago
2009
ACM
Earth observation technologies have developed rapidly during the last decades. Substantial amounts of earth observation data have been acquired and stored among the literature and...
185
click to vote
ACSAC
2007
IEEE
16 years 27 days ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
177
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract - The RoQ (Reduction-of-Quality) attacks are lowrate DDoS attacks that degrade the QoS to end systems stealthily but not to deny the services completely. These attacks are...