380 search results - page 64 / 76 » A Software Framework for Automated Negotiation |
UML
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
WSC
1990
13 years 10 months ago
1990
This paper provides an overview of a simulation support environment and presents a discussion of a number of issues related to the generation of a simulation model. The need for a...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...