5384 search results - page 1020 / 1077 » Open Standards Requirements |
114
click to vote
XMLSEC
2003
ACM
15 years 4 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...
80
Voted
AUSAI
2003
Springer
15 years 4 months ago
2003
Springer
An important task in machine learning is determining which learning algorithm works best for a given data set. When the amount of data is small the same data needs to be used repea...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
69
Voted
CCS
2003
ACM
15 years 4 months ago
2003
ACM
We propose a new notion of cryptographic tamper evidence. A tamper-evident signature scheme provides an additional procedure Div which detects tampering: given two signatures, Div...
CHARME
2003
Springer
15 years 4 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...