1843 search results - page 145 / 369 » Securing Class Initialization |
118
Voted
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
One-counter automata are a fundamental and widely-studied class of infinite-state systems. In this paper we consider one-counter automata with counter updates encoded in binary—...
125
click to vote
IWPC
2005
IEEE
15 years 10 months ago
2005
IEEE
A commonly held belief is that the friend construct in C++ is a violation of encapsulation. However, little empirical analysis of its use has taken place to provide evidence to su...
158
Voted
KR
2010
Springer
15 years 9 months ago
2010
Springer
We investigate a class of first-order temporal epistemic logics for the specification of multi-agent systems. We consider well-known properties of multi-agent systems including ...
175
click to vote
ACL
2006
2006
Answer Extraction, Semantic Clustering, and Extractive Summarization for Clinical Question Answering
15 years 6 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...
121
click to vote
JVM
2001
15 years 6 months ago
2001
For the application of Java in realtime and safety critical domains, an analysis of the worst-case execution times of primitive Java operations is necessary. All primitive operati...