380 search results - page 26 / 76 » A Software Framework for Automated Negotiation |
INFORMATICALT
1998
13 years 8 months ago
1998
Principles of the framework called time series forecasting automation are presented. It is required in processing massive temporal data sets and creating completely user-oriented f...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Making architectural decisions based on requirements, analyzing cost-benefit trade-offs, and keeping design options open is a difficult task. Existing work on classification of ar...
HICSS
2007
IEEE
14 years 3 months ago
2007
IEEE
The design and maintenance of large computational science systems can be aided greatly by the use of generic computational science libraries. The objectoriented design of software...
ATVA
2007
Springer
14 years 3 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
AMOST
2007
ACM
14 years 1 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...