4401 search results - page 621 / 881 » Computing with Default Logic |
149
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Boolean matching is a powerful technique that has been used in technology mapping to overcome the limitations of structural pattern matching. The current basis for performing Bool...
122
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
— It is a typical scenario that many organisations have their business processes specified independently of their business contracts. This is because of the lack of guidelines a...
159
click to vote
EDOC
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
150
click to vote
ETS
2006
IEEE
15 years 11 months ago
2006
IEEE
A central problem in built-in self test (BIST) is how to efficiently generate a small set of test vectors that detect all targeted faults. We propose a novel solution that uses l...
109
Voted
IEEECIT
2006
IEEE
15 years 11 months ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...