511 search results - page 40 / 103 » Spelling Correction Using Context |
102
Voted
ESMART
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents an operational semantics for a subset of Java Card bytecode, focussing on aspects of the Java Card firewall, method invocation, field access, variable access,...
104
click to vote
APN
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...
114
Voted
ICTIR
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. A mismatch between differenteventspaceshasbeen used toargue against rank equivalence of classic probabilistic models of information retrieval and language models. We ques...
91
Voted
CSREAESA
2004
15 years 2 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
99
Voted
BMCBI
2008
15 years 22 days ago
2008
Background: It has repeatedly been shown that interacting protein families tend to have similar phylogenetic trees. These similarities can be used to predicting the mapping betwee...