3468 search results - page 423 / 694 » An open logical framework |
150
click to vote
BPM
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Business Process Execution Language (BPEL), or Web Services BPEL (WS-BPEL), is the standard for specifying workflow process definition using web services. Research on for...
126
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
Judgment aggregation studies how agent opinions on logically interconnected propositions can be mapped into a collective judgment on the same propositions, and is plagued by impos...
145
click to vote
FORTE
2007
15 years 5 months ago
2007
Abstract. We present and discuss a formal, high-level approach to the specification and composition of interaction protocols for service-oriented systems. This work is being develo...
135
click to vote
RIAO
2000
15 years 5 months ago
2000
We present a framework to analyze color documents of complex layout. In addition, no assumption is made on the layout. Our framework combines in a content-driven bottom-up approac...
131
click to vote
ACL
1993
15 years 5 months ago
1993
We present an implemented unification-based parser for relational grammars developed within the stratified feature grammar (SFG) framework, which generalizes Kasper-Rounds logic t...