8008 search results - page 319 / 1602 » Computer-Aided Language Processing |
146
click to vote
INFORMATICALT
2008
15 years 3 months ago
2008
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
118
click to vote
RULEML
2010
Springer
15 years 2 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
210
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
With XQuery becoming the standard language for querying XML, and the relational SQL platform being recognized as an important platform to store and process XML, the SQL/XML standa...
101
Voted
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
123
click to vote
IEEESCC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We de...