1341 search results - page 27 / 269 » Logic for Modeling Product Structure |
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...
LATA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. An important portion of the current research in Description Logics is devoted to the expansion of the reasoning services and the developement of algorithms that can adequ...
CP
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. In this paper, we show how model-checking can be generalized to temporal logic constraint solving, by considering temporal logic formulae with free variables over some do...
JUCS
2010
13 years 2 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
CISIS
2010
IEEE
14 years 3 months ago
2010
IEEE
— In pervasive environment, it is essential for computing applications to be context-aware. However, one of the major challenges is the establishment of a generic and dynamic con...