99 search results - page 14 / 20 » A framework for simulating industrial construction processes |
125
click to vote
ENTCS
2007
15 years 1 months ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...
SAFECOMP
2001
Springer
15 years 6 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
128
Voted
WOA
2007
15 years 3 months ago
2007
—This paper describes Herald, an agent based toolkit for dispatching and processing items in a distributed environment. Herald is suitable for scenarios where the process could b...
126
click to vote
JUCS
2008
15 years 1 months ago
2008
: One focus of current software development is the re-use of components in the construction of systems. Software Adaptation facilitates the consequent need to adapt these component...
127
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
In digital imaging applications, data are typically obtained via a spatial subsampling procedure implemented as a color filter array--a physical construction whereby only a single...