3408 search results - page 459 / 682 » Logic, language, information and computation |
100
click to vote
POPL
2008
ACM
14 years 11 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
ICCS
2004
Springer
14 years 4 months ago
2004
Springer
The distributed information technologies collectively known as Web services recently have demonstrated powerful capabilities for scalable interoperation of heterogeneous software a...
ENTCS
2008
13 years 10 months ago
2008
We present Oracle-Based Partial Evaluation (OBPE), a novel approach to on-line Partial Evaluation (PE) which decides the control strategy to use for each call pattern by using an ...
COMPSAC
2010
IEEE
13 years 8 months ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
SAC
2008
ACM
13 years 10 months ago
2008
ACM
Ontology learning integrates many complementary techniques, including machine learning, natural language processing, and data mining. Specifically, clustering techniques facilitat...