5384 search results - page 289 / 1077 » Open Standards Requirements |
146
click to vote
GI
2004
Springer
16 years 5 days ago
2004
Springer
: In this paper we describe the advantages of a model-based approach to embedded component middleware. Component infrastructures such as Enterprise JavaBeans, Microsoft’s COM+ an...
174
click to vote
INDOCRYPT
2004
Springer
16 years 5 days ago
2004
Springer
Certified e-mail is a value-added service for standard e-mail systems, in which the intended recipient gets the mail content if and only if the mail originator receives a non-repud...
286
click to vote
INTELLCOMM
2004
Springer
16 years 5 days ago
2004
Springer
This paper proposes an approach to behaviour-based discovery of Web Services by which business rules that govern service behaviour are described as a policy. The policy is represen...
189
click to vote
MICCAI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. We introduce a new, efficient approach for modelling the deformation of organs following surgical cuts, retractions, and resections. It uses the extended finite element ...
186
click to vote
TYPES
2004
Springer
16 years 4 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...