10159 search results - page 65 / 2032 » System Design Validation Using Formal Models |
SIMPRA
2008
13 years 8 months ago
2008
Using multi-agent models to study social systems has attracted criticisms because of the challenges involved in their validation. Common criticisms that we have encountered are de...
ACSW
2006
13 years 9 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
ASWEC
2007
IEEE
14 years 2 months ago
2007
IEEE
—Service-Oriented Computing (SOC) is an emerging paradigm for developing software systems that employ services. Presently there is already much research effort in the areas of se...
MEMOCODE
2003
IEEE
14 years 1 months ago
2003
IEEE
System-level design methodologies for embedded HW/SW systems face several challenges: In order to be susceptible to systematic formal analysis based on state-space exploration, a ...
SPRINGSIM
2007
13 years 9 months ago
2007
Modeling and simulation tools have been used for helping in the early stages of hardware/software systems design. The DEVS formalism is a technique that enables hierarchical descr...