736 search results - page 129 / 148 » Moving Specification Structures Between Logical Systems |
DOCENG
2003
ACM
14 years 19 days ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
ESEM
2008
ACM
13 years 9 months ago
2008
ACM
The identification and management of work dependencies is a fundamental challenge in software development organizations. This paper argues that modularization, the traditional tec...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We study the complexity of model expansion (MX), which is the problem of expanding a given finite structure with additional relations to produce a finite model of a giv...
ISRR
2001
Springer
13 years 11 months ago
2001
Springer
A new field of robotics is emerging. Robots are today moving towards applications beyond the structured environment of a manufacturing plant. They are making their way into the e...
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
Many real-world domains exhibit rich relational structure and stochasticity and motivate the development of models that combine predicate logic with probabilities. These models de...