4401 search results - page 632 / 881 » Computing with Default Logic |
156
Voted
CONCUR
2003
Springer
15 years 10 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
158
click to vote
CONTEXT
2003
Springer
15 years 10 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 ...
110
click to vote
CP
2003
Springer
15 years 10 months ago
2003
Springer
Combining mutually redundant models with channelling constraints increases constraint propagation. However, the extra computation efforts of the additional variables and constraint...
134
Voted
DAWAK
2003
Springer
15 years 10 months ago
2003
Springer
View materialization is recognized to be one of the most effective ways to increase the Data Warehouse performance; nevertheless, due to the computational complexity of the techniq...
135
click to vote
IFIP
2003
Springer
15 years 10 months ago
2003
Springer
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...