3119 search results - page 207 / 624 » Abstract Requirement Analysis in Multiagent System Design |
178
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
143
Voted
ATAL
2003
Springer
16 years 20 hour ago
2003
Springer
Auctions are useful mechanism for allocating items (goods, tasks, resources, etc.) in multiagent systems. The bulk of auction theory assumes that the bidders’ valuations for ite...
196
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
183
click to vote
SEM
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. A challenging software engineering problem is the design and implementation of component-based (CB) applications that can meet specified performance requirements. Our PPC...
194
click to vote
IJCAI
1989
15 years 8 months ago
1989
gn problem can be abstractly characterized as a constrained function-to-structure mapping. The de sign task takes as input the specifications of the desired functions of a device...