263 search results - page 1 / 53 » A Scalable Approach to Multi-style Architectural Modeling an... |
ICECCS
2008
IEEE
13 years 11 months ago
2008
IEEE
DAC
2006
ACM
13 years 10 months ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
SIGSOFT
2008
ACM
14 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
COMPSAC
2003
IEEE
13 years 10 months ago
2003
IEEE
Software architecture and design are usually modeled and represented by informal diagrams, such as architecture diagrams and UML diagrams. While these graphic notations are easy t...
DATE
2006
IEEE
13 years 10 months ago
2006
IEEE
Verification quality is a must for functional safety in electronic systems. In automotive, the verification flow is historically based on a layered approach, where each level (mod...