2351 search results - page 341 / 471 » A Method of Requirement Inconsistency Analysis |
ECSQARU
2005
Springer
15 years 3 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...
GFKL
2005
Springer
15 years 3 months ago
2005
Springer
In classification, with an increasing number of variables, the required number of observations grows drastically. In this paper we present an approach to put into effect the maxi...
116
click to vote
ISMIS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively fe...
PAM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Emerging network monitoring infrastructures capture packetlevel traces or keep per-flow statistics at a set of distributed vantage points. Today, distributed monitors in...
SACRYPT
2005
Springer
15 years 3 months ago
2005
Springer
Radio frequency identification systems based on low-cost computing devices is the new plaything that every company would like to adopt. Its goal can be either to improve the produ...