2763 search results - page 57 / 553 » The Dangerous 'All' in Specifications |
DC
2006
13 years 9 months ago
2006
Group communication is the basic infrastructure for implementing fault-tolerant replicated servers. While group communication is well understood in the context of static systems (...
TSE
2002
13 years 8 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
ICIP
2002
IEEE
14 years 10 months ago
2002
IEEE
In this work, we study the extraction of semantic objects using morphological tools. We decompose the image into its level sets and level lines (the borders of the level sets). Sp...
ITC
1993
IEEE
14 years 1 months ago
1993
IEEE
ÐPseudoexhaustive testing of a combinational circuit involves applying all possible input patterns to all its individual output cones. The testing ensures detection of all detecta...
KBSE
2000
IEEE
14 years 22 days ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...