4814 search results - page 409 / 963 » Combining abstract interpreters |
215
click to vote
CSFW
2007
IEEE
15 years 10 months ago
2007
IEEE
Noninterference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checking of noni...
160
click to vote
WCNC
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—Hierarchical macro/femto-cell networks are considered as a promising technology for the improvement of indoor coverage and network capacity. In these emerging networks, ...
167
click to vote
SAS
1997
Springer
15 years 10 months ago
1997
Springer
is an important optimization for programs that use procedural abstraction. Because inlining trades code size for execution speed, the effectiveness of an inlining algorithm is det...
223
click to vote
ACL
2006
2006
Answer Extraction, Semantic Clustering, and Extractive Summarization for Clinical Question Answering
15 years 8 months ago
This paper presents a hybrid approach to question answering in the clinical domain that combines techniques from summarization and information retrieval. We tackle a frequently-oc...
203
click to vote
IC
2000
15 years 8 months ago
2000
Abstract Virtual Campus is an Internet application in education. It combines the advantages of both group and individual learning approaches based on advanced network technologies....