1583 search results - page 57 / 317 » Feature Interaction Detection in the Feature Language Extens... |
AGP
2010
IEEE
14 years 1 months ago
2010
IEEE
We review the Italian contribution to proof-theoretic and higher-order extensions of logic programming; this originated from the realization that Horn clauses lacked standard abstr...
COMCOM
2000
13 years 7 months ago
2000
This paper is devoted to the presentation of the RT-LOTOS formal description technique, which is a formalism suited for applications where concurrency, complex synchronization pat...
DLOG
2003
13 years 9 months ago
2003
This chapter considers, on the one hand, extensions of Description Logics by features not available in the basic framework, but considered important for using Description Logics a...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Building software product lines (SPLs) with features is a challenging task. Many SPL implementations support features with coarse granularity ? e.g., the ability to add and wrap e...
VLSID
2006
IEEE
14 years 8 months ago
2006
IEEE
Advances in Human Computer Interaction(HCI) technology has resulted in widespread development of natural language and speech applications. These applications are known to be compu...