3028 search results - page 395 / 606 » Integrating Temporal Logics |
148
click to vote
AAAI
2006
15 years 8 months ago
2006
In this paper, we propose a family of operators for merging stratified knowledge bases under integrity constraints. The operators are defined in a model-theoretic way. Our merging...
148
click to vote
IADIS
2003
15 years 8 months ago
2003
Web services are a logical evolution of software components and middleware. Based on a comparison of Web services with middleware and components we come up with the statement that...
141
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper relates on a first attempt to see if aspect-oriented programming (AOP) and logic meta-programming (LMP) can help with the revitalisation of legacy business software. B...
161
click to vote
4OR
2004
15 years 6 months ago
2004
Abstract In this paper we address the problem of aggregating outranking statements from multiple preference criteria of ordinal significance. The concept of ordinal concordance of ...
170
click to vote
TVLSI
1998
15 years 6 months ago
1998
— Wave-pipelining is a method of high-performance circuit design which implements pipelining in logic without the use of intermediate latches or registers. The combination of hig...