Sciweavers

338 search results - page 20 / 68
» A Language for Task Orchestration and Its Semantic Propertie...
Sort
View
NAACL
1994
14 years 11 months ago
PEGASUS: A Spoken Language Interface for On-Line Air Travel Planning I
This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUSleverages off our spoken language technology deve...
Victor Zue, Stephanie Seneff, Joseph Polifroni, Mi...
ESOP
2010
Springer
15 years 7 months ago
Generative Operational Semantics for Relaxed Memory Models
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
Radha Jagadeesan, Corin Pitcher and James Riely
APDC
1997
14 years 12 months ago
Language Support for Synchronous Parallel Critical Sections
We introduce a new parallel programming paradigm, namely synchronous parallel critical sections. Such parallel critical sections must be seen in the context of switching between s...
Christoph W. Keßler, Helmut Seidl
68
Voted
ESWS
2007
Springer
15 years 4 months ago
SPARQLeR: Extended Sparql for Semantic Association Discovery
Complex relationships, frequently referred to as semantic associations, are the essence of the Semantic Web. Query and retrieval of semantic associations has been an important task...
Krys Kochut, Maciej Janik
CCS
2006
ACM
15 years 2 months ago
Beyond separation of duty: an algebra for specifying high-level security policies
A high-level security policy states an overall requirement for a sensitive task. One example of a high-level security policy is a separation of duty policy, which requires a sensi...
Ninghui Li, Qihua Wang