402 search results - page 37 / 81 » Practical Application of Existing Hypermedia Standards and T... |
CORR
2006
Springer
15 years 1 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 ...
142
click to vote
CSMR
2002
IEEE
15 years 6 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 2 months 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 ...
108
click to vote
JSS
2007
15 years 1 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...
206
click to vote
POPL
2007
ACM
16 years 1 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...