6167 search results - page 991 / 1234 » Can Refinement be Automated |
DSOM
2005
Springer
14 years 4 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
ECMDAFA
2005
Springer
14 years 4 months ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
ECSQARU
2005
Springer
14 years 4 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
ECSQARU
2005
Springer
14 years 4 months ago
2005
Springer
Conditional deduction in binary logic basically consists of deriving new statements from an existing set of statements and conditional rules. Modus Ponens, which is the classical e...
ECSQARU
2005
Springer
14 years 4 months ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...