3218 search results - page 291 / 644 » Timed Extensions for SDL |
175
click to vote
FMCO
2008
Springer
15 years 8 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
135
click to vote
ACL
2007
15 years 8 months ago
2007
This paper presents an approach for the automatic acquisition of qualia structures for nouns from the Web and thus opens the possibility to explore the impact of qualia structures...
168
click to vote
APVIS
2008
15 years 8 months ago
2008
We present a technique for memory-efficient and time-efficient volume rendering of curvilinear adaptive mesh refinement data defined within extrudable computational spaces. One of...
172
click to vote
ECIR
2007
Springer
15 years 8 months ago
2007
Springer
Document fields, such as the title or the headings of a document, offer a way to consider the structure of documents for retrieval. Most of the proposed approaches in the literatu...
192
click to vote
IC
2007
15 years 8 months ago
2007
Abstract XML databases, providing structural querying support, are becoming more and more popular. As we know, XML data may change over time and providing an efficient support to q...