31 search results - page 3 / 7 » Modular Consistency Analysis of Component-Based Design |
ICRA
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...
AGP
1994
IEEE
13 years 10 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
CORR
2011
Springer
13 years 1 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
ESCIENCE
2006
IEEE
13 years 10 months ago
2006
IEEE
In this paper we present a general domain for the analysis of workflows and workflow components based on the notion of a collection of Turing machines sharing a set of tapes. We s...
DATE
1999
IEEE
13 years 11 months ago
1999
IEEE
There is an increasing research interest in system level design languages which can carry designers from specification to implementation of system-on-a-chip. Unfortunately, two of...