1915 search results - page 319 / 383 » A language for functional interpretation of model based simu... |
CAISE
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the implementation of a system supporting YAWL (Yet Another Workflow Language). YAWL is based on a rigorous analysis of existing workflow management systems ...
IS
2006
13 years 9 months ago
2006
As XML documents contain both content and structure information, taking advantage of the document structure in the retrieval process can lead to better identify relevant informati...
DOCENG
2009
ACM
14 years 3 months ago
2009
ACM
In this article, we introduce a new problem: the construction of multi-structured documents. We first offer an overview of existing solutions to the representation of such docum...
ENTCS
2010
13 years 9 months ago
2010
This paper presents a formal framework for compositional reasoning about secure systems. A key insight is to view a trusted system in terms of the interfaces that the various comp...
ACL
2008
13 years 10 months ago
2008
Paraphrase patterns are useful in paraphrase recognition and generation. In this paper, we present a pivot approach for extracting paraphrase patterns from bilingual parallel corp...