1341 search results - page 27 / 269 » Logic for Modeling Product Structure |
143
click to vote
ESEM
2008
ACM
15 years 7 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...
139
Voted
LATA
2010
Springer
16 years 5 days 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...
247
Voted
CP
2009
Springer
16 years 6 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...
168
Voted
JUCS
2010
15 years 4 days 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...
155
click to vote
CISIS
2010
IEEE
16 years 7 days 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...