2272 search results - page 317 / 455 » Validity Invariants and Effects |
116
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
Argumentation-based negotiation (ABN) provides agents with an effective means to resolve conflicts within a multi-agent society. However, to engage in such argumentative encounter...
146
click to vote
DSOM
2005
Springer
15 years 9 months ago
2005
Springer
We present a design for policy-based performance management of SMS Systems. The design takes as input the operator’s performance goals, which are expressed as policies that can b...
133
click to vote
GPCE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
122
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
111
click to vote
IEAAIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...