85 search results - page 7 / 17 » Synthesis of live behaviour models |
CONCUR
2008
Springer
13 years 8 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
DATE
2010
IEEE
13 years 10 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
ISBI
2008
IEEE
14 years 7 months ago
2008
IEEE
The living cell is under constant influence of mechanical forces from its environment. These forces affect many aspects of the cell's behaviour, including morphology, growth,...
SAC
2004
ACM
14 years 4 days ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
AC
2003
Springer
13 years 12 months ago
2003
Springer
Abstract. As semiconductor technology strides towards billions of transistors on a single die, problems concerned with deep sub-micron process features and design productivity call...