1636 search results - page 92 / 328 » Type-Theoretic Functional Semantics |
118
Voted
ICDCSW
2006
IEEE
15 years 9 months ago
2006
IEEE
With the development and maturity of ServiceOriented Architectures (SOA) to support business-tobusiness transactions, organizations are implementing Web services to expose their p...
113
Voted
WECWIS
2006
IEEE
15 years 9 months ago
2006
IEEE
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...
106
Voted
TGC
2005
Springer
15 years 9 months ago
2005
Springer
Protocol narrations are an informal means to describe, in an idealistic manner, the functioning of cryptographic protocols as a single intended sequence of cryptographic message ex...
152
Voted
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
172
Voted
NAACL
1994
15 years 5 months ago
1994
In this paper we demonstrate that speech recognition can be effectively applied to information retrieval (IR) applications. Our system exploits the fact that the intended words of...