5128 search results - page 804 / 1026 » When Abstraction Fails |
161
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
194
click to vote
ENTCS
2006
15 years 6 months ago
2006
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial studnformation ...
193
click to vote
IJBRA
2008
15 years 6 months ago
2008
A large number of biological pathways have been assembled in later years, and are being stored in databases. Hence, the need for methods to analyse these pathways has emerged. One ...
152
click to vote
IJIS
2008
15 years 6 months ago
2008
Abstract: Fuzzy multiset is applicable as a model of information retrieval because it has the mathematical structure which expresses the number and the degree of attribution of an ...