1261 search results - page 167 / 253 » A taxonomy for identifying requirement interactions in softw... |
168
click to vote
SAS
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
180
click to vote
INFOVIS
2002
IEEE
15 years 11 months ago
2002
IEEE
We describe a visualization tool which allows a biologist to explore a large set of hypothetical evolutionary trees. Interacting with such a dataset allows the biologist to identi...
205
click to vote
INCDM
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. A framework for Multi Agent Data Mining (MADM) is described. The framework comprises a collection of agents cooperating to address given data mining tasks. The fundamenta...
181
click to vote
DAC
2007
ACM
16 years 7 months ago
2007
ACM
Interrupt behaviors, especially the external ones, are difficult to verify in a microprocessor design project in that they involve both interacting hardware and software. This pap...
173
click to vote
EMSOFT
2004
Springer
16 years 8 days ago
2004
Springer
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...