2688 search results - page 255 / 538 » A formal semantics for P3P |
173
click to vote
ESWS
2004
Springer
16 years 2 days ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
181
click to vote
LPNMR
2004
Springer
16 years 1 days ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
173
Voted
PPDP
2004
Springer
16 years 1 days ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
158
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
143
click to vote
IFL
2003
Springer
15 years 12 months ago
2003
Springer
The presence of non-determinism in the parallel-functional language Eden creates some problems. Several non-determinism analyses have been developed to determine when an Eden expre...