1001 search results - page 91 / 201 » Testing Formal Dialectic |
UML
2005
Springer
14 years 2 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
ICML
2003
IEEE
14 years 10 months ago
2003
IEEE
We analyze the formal grounding behind Negative Correlation (NC) Learning, an ensemble learning technique developed in the evolutionary computation literature. We show that by rem...
ECBS
2010
IEEE
14 years 4 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
ARC
2009
Springer
14 years 4 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
BPM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...