Sciweavers

6581 search results - page 50 / 1317
» Formalizing Design Patterns
Sort
View
SAFECOMP
1999
Springer
15 years 6 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
DSD
2007
IEEE
140views Hardware» more  DSD 2007»
15 years 8 months ago
Pseudo-Random Pattern Generator Design for Column-Matching BIST
This paper discusses possibilities for a choice of a pseudorandom pattern generator that is to be used in combination with the column-matching based built-in self-test design meth...
Petr Fiser
139
Voted
WWW
2007
ACM
16 years 3 months ago
Formalization, User Strategy And Interaction Design: Users? Behaviour With Discourse Tagging Semantics
When authors publish their interpretations of the ideas, opinions, claims or rebuttals in the literature, they are drawing on a repertoire of well understood moves, contributing t...
Bertrand Sereno, Simon Buckingham Shum, Enrico Mot...
NOSSDAV
2005
Springer
15 years 8 months ago
A formal approach to design optimized multimedia service overlay
Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components ...
Hirozumi Yamaguchi, Khaled El-Fakih, Akihito Hirom...