5378 search results - page 848 / 1076 » Base Logics in Argumentation |
TCS
2002
13 years 10 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
CEE
2010
13 years 9 months ago
2010
A new implementation for minimally redundant radix-4 floating-point SRT division/square-root (division/sqrt) with the recurrence in the signed-digit format is introduced. The imp...
CP
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents a novel domain-consistency algorithm which does not maintain supports dynamically during propagation, but rather maintain forbidden values. It introduces the op...
IAJIT
2010
13 years 9 months ago
2010
: In this paper we have made an algorithm to diagnose the Constitutional Jaundice (Dubin-Johnson, Gilbert and Rotor syndrome) the algorithm is decomposed into two parts: 1) using W...
IANDC
2010
13 years 9 months ago
2010
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...