1636 search results - page 123 / 328 » Type-Theoretic Functional Semantics |
123
click to vote
ESWS
2005
Springer
15 years 9 months ago
2005
Springer
When information services are organized to provide some composed functionality, their interactions can be formally represented as workflows. Traditionally, workflows are executed...
110
click to vote
SEMWEB
2005
Springer
2005
Springer
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
15 years 9 months ago
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
133
click to vote
JSW
2006
15 years 3 months ago
2006
When having repeated interactions with a service provider, a service consumer might desire guarantees on the delivery of the service. These guarantees involve both functional and n...
128
click to vote
TKDE
2002
15 years 3 months ago
2002
Since WWW encourages hypertext and hypermedia document authoring (e.g. HTML or XML), Web authors tend to create documents that are composed of multiple pages connected with hyperl...
129
click to vote
PKC
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a simple and efficient conversion from a semantically secure public-key encryption scheme against passive adversaries to a non-malleable (or semantically secure...