31 search results - page 3 / 7 » Modular Consistency Analysis of Component-Based Design |
122
Voted
ICRA
2008
IEEE
15 years 9 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, ...
130
Voted
AGP
1994
IEEE
15 years 6 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,...
152
Voted
CORR
2011
Springer
14 years 9 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...
119
click to vote
ESCIENCE
2006
IEEE
15 years 6 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...
125
click to vote
DATE
1999
IEEE
15 years 6 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...