Sciweavers

3119 search results - page 120 / 624
» Abstract Requirement Analysis in Multiagent System Design
Sort
View
IJCIA
2008
68views more  IJCIA 2008»
14 years 10 months ago
A Hybrid Estimation of Distribution Algorithm for CDMA Cellular System Design
Abstract: While code division multiple access (CDMA) is becoming a promising cellular communication system, the design for a CDMA cellular system configuration has posed a practica...
Jianyong Sun, Qingfu Zhang, Jin Li, Xin Yao
EMSOFT
2004
Springer
15 years 3 months ago
Scheduling within temporal partitions: response-time analysis and server design
As the bandwidth of CPUs and networks continues to grow, it becomes more attractive, for efficiency reasons, to share such resources among several applications with the minimum le...
Luís Almeida, Paulo Pedreiras
FMAM
2010
157views Formal Methods» more  FMAM 2010»
14 years 8 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
DSN
2005
IEEE
15 years 3 months ago
Design Time Reliability Analysis of Distributed Fault Tolerance Algorithms
Designing a distributed fault tolerance algorithm requires careful analysis of both fault models and diagnosis strategies. A system will fail if there are too many active faults, ...
Elizabeth Latronico, Philip Koopman
RSP
1999
IEEE
15 years 2 months ago
System Design Validation Using Formal Models
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and ...
Peter Henderson, Robert John Walters