3005 search results - page 222 / 601 » Logical Information Systems: from Taxonomies to Logics |
203
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
191
click to vote
DAGSTUHL
1998
15 years 8 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
178
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
This paper proposes to analyze two flow line systems in which we include possibilistic data -the priority-discipline is possibilistic instead of probabilistic- and measure the perf...
162
click to vote
CISIS
2008
IEEE
16 years 1 months ago
2008
IEEE
—Techniques for detecting synthetic lethal mutations in double gene deletion experiments are emerging as powerful tool for analysing genes in parallel or overlapping pathways wit...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
In the domain of embedded software systems the increasing complexity of the functionality as well as the increase in variations caused by product lines requires a modular design p...