1635 search results - page 163 / 327 » Reasoning from Data Rather than Theory |
CSL
2008
Springer
13 years 11 months ago
2008
Springer
We investigate decidability, complexity and expressive power issues for (first-order) separation logic with one record field (herein called SL) and its fragments. SL can specify pr...
DAIS
2003
13 years 10 months ago
2003
- Mobile agents have the ability to migrate through heterogeneous networks and execute at remote hosts. This ability can be exploited to improve the performance of agent based appl...
NAACL
2003
13 years 10 months ago
2003
The TAP-XL Automated Analyst’s Assistant is an application designed to help an Englishspeaking analyst write a topical report, culling information from a large inflow of multili...
AFRICACRYPT
2008
Springer
14 years 3 months ago
2008
Springer
In this paper, we investigate the security of the Tractable Rationale Maps Signature (TRMS) signature scheme [9] proposed at PKC’05. To do so, we present a hybrid approach for so...
ESWS
2005
Springer
14 years 2 months ago
2005
Springer
As semantic markup becomes ubiquitous, it will become important to be able to ask queries and obtain answers, using natural language (NL) expressions, rather than the keyword-based...