2500 search results - page 177 / 500 » Logical Semantics of Modularisation |
168
click to vote
IFM
1999
Springer
15 years 10 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
157
click to vote
AML
2002
15 years 6 months ago
2002
Abstract. It is shown the complete equivalence between the theory of continuous (enumeration) fuzzy closure operators and the theory of (effective) fuzzy deduction systems in Hilbe...
149
click to vote
IGPL
2010
15 years 5 months ago
2010
The main contribution of this paper is a (strong) completeness result for an axiomatization of Hansson [13]’s deontic system DSDL2, whose semantics involves a non-necessarily tr...
138
click to vote
RTSS
2005
IEEE
16 years 1 days ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
185
click to vote
CONTEXT
2003
Springer
15 years 11 months ago
2003
Springer
The development of more and more complex distributed applications over large networks of computers has raised the problem of semantic interoperability across applications based on ...