402 search results - page 37 / 81 » Practical Application of Existing Hypermedia Standards and T... |
CORR
2006
Springer
14 years 11 months ago
2006
Springer
Although good encryption functions are probabilistic, most symbolic models do not capture this aspect explicitly. A typical solution, recently used to prove the soundness of such ...
124
click to vote
CSMR
2002
IEEE
15 years 4 months ago
2002
IEEE
Reengineering existing (large-scale) applications to the web is a complex and highly challenging task. This is due to a variety of mostly demanding requirements for interactive we...
LREC
2008
15 years 25 days ago
2008
We present the main outcomes of the COREA project: a corpus annotated with coreferential relations and a coreference resolution system for Dutch. We discuss the annotation of the ...
JSS
2007
14 years 11 months ago
2007
This paper describes an approach for generating customized benchmark suites from a software architecture description following a Model Driven Architecture (MDA) approach. The benc...
186
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...