Sciweavers

6581 search results - page 254 / 1317
» Formalizing Design Patterns
Sort
View
IOLTS
2005
IEEE
206views Hardware» more  IOLTS 2005»
15 years 9 months ago
A Hamming Distance Based Test Pattern Generator with Improved Fault Coverage
This paper proposes a new test pattern generator (TPG) which is an enhancement of GLFSR (Galois LFSR). This design is based on certain non–binary error detecting codes, formulat...
Dhiraj K. Pradhan, Dimitri Kagaris, Rohit Gambhir
EDCC
2008
Springer
15 years 5 months ago
Refinement Patterns for Fault Tolerant Systems
The paper puts forward the idea of using fault tolerance refinement patterns to assist system developers in disciplined application of software fault tolerance mechanisms in rigor...
Alexei Iliasov, Alexander Romanovsky
ECSA
2010
Springer
15 years 4 months ago
Linking Design Decisions to Design Models in Model-Based Software Development
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
Patrick Könemann, Olaf Zimmermann
ICC
2009
IEEE
107views Communications» more  ICC 2009»
15 years 10 months ago
Towards a Denial-of-Service Resilient Design of Complex IPsec Overlays
— By monitoring the exchanged IPsec traffic an adversary can usually easily discover the layout of virtual private networks (VPNs). Of even worse extend is the disclosure if com...
Michael Brinkmeier, Michael Rossberg, Guenter Scha...
SEMWEB
2007
Springer
15 years 10 months ago
COMM: Designing a Well-Founded Multimedia Ontology for the Web
Semantic descriptions of non-textual media available on the web can be used to facilitate retrieval and presentation of media assets and documents containing them. While technologi...
Richard Arndt, Raphaël Troncy, Steffen Staab,...