840 search results - page 87 / 168 » XML: From Practice to Theory |
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
In this paper we outline a framework for assuring information quality (IQ) in an e-Science context, using semiotics theory, semantic explanation of resources, and data couplings. ...
ECSA
2007
Springer
14 years 2 months ago
2007
Springer
The past 20 years has seen significant investments in the theory and practice of software architecture. However, architectural deficiencies are frequently cited as a key factor in ...
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— It is a challenging task for multiple robots working together to realize object transportation. This paper studies a practical situation that a group of mobile manipulators are...
ASPDAC
2005
ACM
14 years 1 months ago
2005
ACM
— In this paper we present new lower bounds on BDD size. These lower bounds are derived from more general lower bounds that recently were given in the context of exact BDD minimi...