1057 search results - page 140 / 212 » its 1998 |
103
click to vote
AMET
1998
Springer
15 years 1 months ago
1998
Springer
Automated negotiation has been of particular interest due to the relevant role that negotiation plays among trading agents. This paper presents two types of agent architecture: Cas...
HT
1998
ACM
15 years 1 months ago
1998
ACM
This paper introduces XHMBS (the eXtended Hyperdocument Model Based on Statecharts) to support the formal specification of general hypermedia applications. XHMBS uses a novel form...
ARES
1998
Springer
15 years 1 months ago
1998
Springer
The product line for software systems (PL) approach has been touted recently as one of the most promising development approach for gains in product quality, time to market and cost...
ISPD
1998
ACM
15 years 1 months ago
1998
ACM
—The greedy wire-sizing algorithm (GWSA) has been experimentally shown to be very efficient, but no mathematical analysis on its convergence rate has ever been reported. In this...
ISSTA
1998
ACM
15 years 1 months ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...