3119 search results - page 189 / 624 » Abstract Requirement Analysis in Multiagent System Design |
143
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
110
Voted
INFOCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Abstract— In a peer-to-peer network, nodes are typically required to route packets for each other. This leads to a problem of “free-loaders,” nodes that use the network but r...
135
Voted
ATVA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
162
Voted
EKAW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The overall aim of this paper is to provide a general setting for quantitative quality measures of Knowledge-Based System behavior which is widely applicable to many Know...
140
Voted
SIAMJO
2010
15 years 1 months ago
2010
Abstract. This paper concerns second-order analysis for a remarkable class of variational systems in finite-dimensional and infinite-dimensional spaces, which is particularly imp...