3119 search results - page 177 / 624 » Abstract Requirement Analysis in Multiagent System Design |
105
Voted
ICDCS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Overlay network design for topic-based publish/subscribe systems is of primary importance because the overlay directly impacts the system’s performance. Determining a ...
108
Voted
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...
133
Voted
LCPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present an implementation of May Happen in Parallel analysis for Java that attempts to address some of the practical implementation concerns of the origi...
145
click to vote
IPPS
2002
IEEE
15 years 8 months ago
2002
IEEE
Abstract— In this paper, we present a novel and comprehensive resource management solution for the autonomous hot-spot convergence system (AHSCS) that uses sensor web. This solut...
208
Voted
TII
2011
14 years 10 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...