2859 search results - page 473 / 572 » A Programming Environment for Bousi-Prolog |
140
click to vote
SSDBM
1999
IEEE
15 years 8 months ago
1999
IEEE
In many scientific domains, experimental devices or simulation programs generate large volumes of data. The volumes of data may reach hundreds of terabytes and therefore it is imp...
139
click to vote
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
122
click to vote
FCCM
1998
IEEE
15 years 8 months ago
1998
IEEE
JHDL is a design tool for reconfigurable systems that allows designers to express circuit organizations that dynamically change over time in a natural way, using only standard pro...
145
click to vote
ECOOPW
1998
Springer
15 years 8 months ago
1998
Springer
Enterprise Java Beans (EJB), a specification for a Java component framework recently released by Sun Microsystems, immediately attracted attention of several major software vendor...
138
click to vote
COMPSAC
1997
IEEE
15 years 8 months ago
1997
IEEE
We have investigated a fault injection-based technique for undermining the ability of software components to produce undesirable outputs into the state of the system. Undesirable ...