Sciweavers

4212 search results - page 470 / 843
» Rights Expression Languages
Sort
View
WAIM
2007
Springer
16 years 26 days ago
CoXML: A Cooperative XML Query Answering System
Abstract. The heterogeneity nature of XML data creates the need for approximate query answering. In this paper, we present an XML system that cooperates with users to provide user-...
Shaorong Liu, Wesley W. Chu
ICTAI
2006
IEEE
16 years 24 days ago
Graph Grammar Induction on Structural Data for Visual Programming
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
Keven Ates, Jacek P. Kukluk, Lawrence B. Holder, D...
KBSE
2006
IEEE
16 years 23 days ago
Automatic Generation of Detection Algorithms for Design Defects
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
Naouel Moha, Yann-Gaël Guéhéneu...
APLAS
2006
ACM
16 years 22 days ago
Relational Reasoning for Recursive Types and References
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
Nina Bohr, Lars Birkedal
ASWEC
2005
IEEE
16 years 11 days ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair