1213 search results - page 146 / 243 » Traceability for System Families |
GROUP
2005
ACM
14 years 3 months ago
2005
ACM
We describe results from a survey of employees at Microsoft about how they manage personal and household scheduling. We saw a much greater use of digital calendars than we expecte...
MFCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
TABLEAUX
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...
ECLIPSE
2004
ACM
14 years 3 months ago
2004
ACM
Feature modeling is a key technique used in product-line development to model commonalities and variabilities of productline members. In this paper, we present FeaturePlugin, a fe...
CSL
2004
Springer
14 years 3 months ago
2004
Springer
We present a novel third-order theory W1 1 of bounded arithmetic suitable for reasoning about PSPACE functions. This theory has the advantages of avoiding the smash function symbol...