380 search results - page 70 / 76 » A Software Framework for Automated Negotiation |
107
click to vote
ACMSE
2006
ACM
15 years 5 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
116
Voted
ER
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
107
click to vote
CADE
2010
Springer
15 years 23 days ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
107
Voted
DOCENG
2010
ACM
15 years 23 days ago
2010
ACM
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
101
click to vote
CCGRID
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Significant achievements have been made for automated allocation of cloud resources. However, the performance of applications may be poor in peak load periods, unless t...