2687 search results - page 337 / 538 » Formal Analysis of PKCS |
221
click to vote
ISSTA
2004
ACM
16 years 16 days ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
225
Voted
WOSP
2004
ACM
2004
ACM
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
16 years 16 days ago
Over the last decade, the relevance of performance evaluation in the early stages of the software development life-cycle has been steadily rising. We honestly believe that the int...
182
click to vote
CIKM
2004
Springer
16 years 15 days ago
2004
Springer
An important class of queries is the LIKE predicate in SQL. In the absence of an index, LIKE queries are subject to performance degradation. The notion of indexing on substrings (...
187
click to vote
DOCENG
2003
ACM
16 years 11 days ago
2003
ACM
This paper describes an implementation for syntax-directed transformation of XML documents from one structure to another. The system is based on the method which we have introduce...
225
click to vote
CICLING
2003
Springer
16 years 10 days ago
2003
Springer
The theory of realizational morphology presented by Stump in his influential book Inflectional Morphology (2001) describes the derivation of inflected surface forms from underly...