Sciweavers

8492 search results - page 424 / 1699
» Modelling and Design of Multi-Agent Systems
Sort
View
204
Voted
COMPSAC
2002
IEEE
15 years 12 months ago
Application of Hazard Analysis to Software Quality Modelling
Quality is a fundamental concept in software and information system development. It is also a complex and elusive concept. A large number of quality models have been developed for...
Hong Zhu, Yanlong Zhang, Qingning Huo, Sue Greenwo...
CADE
2008
Springer
16 years 7 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
CODES
2007
IEEE
16 years 1 months ago
Combined approach to system level performance analysis of embedded systems
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
Simon Künzli, Arne Hamann, Rolf Ernst, Lothar...
DESRIST
2009
Springer
135views Education» more  DESRIST 2009»
15 years 10 months ago
Towards a design theory for online communities
Online communities are increasingly important in modern social life. Yet, the diverse collection of guidelines that have directed online community design may not be keeping pace w...
David Gurzick, Wayne G. Lutters
ICC
2007
IEEE
112views Communications» more  ICC 2007»
16 years 1 months ago
Design of a Stabilizing Second-Order Congestion Controller for Large-Delay Networks
—This paper addresses the problem of the stability of congestion control for networks with large round-trip communication delays. Nearly all the existed AQM schemes neglect the i...
Jianxin Wang, Liang Rong, Guojun Wang, Weijia Jia,...