2678 search results - page 193 / 536 » Operational Semantics of Transactions |
152
click to vote
ICDM
2008
IEEE
16 years 18 days ago
2008
IEEE
We present a demo of ESTER, a search engine that combines the ease of use, speed and scalability of full-text search with the powerful semantic capabilities of ontologies. ESTER s...
149
click to vote
HVC
2007
Springer
16 years 9 days ago
2007
Springer
Modern hardware designs are typically based on multiple clocks. While a singly-clocked hardware design is easily described in standard temporal logics, describing a multiply-clocke...
146
click to vote
ICSOC
2007
Springer
16 years 9 days ago
2007
Springer
In this paper we present the architecture and design of an extended BPEL engine that implements the operational semantics of BPEL4SWS. BPEL4SWS is an extension of the BPEL language...
166
click to vote
ICMCS
2005
IEEE
15 years 11 months ago
2005
IEEE
Efficient indexing and retrieval of digital videos are important needs within instructional video databases. Semantic indexing for instructional videos can be achieved by combini...
174
click to vote
MIDDLEWARE
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...