790 search results - page 78 / 158 » Abstract modeling for engineering and engagement level simul... |
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
Gene regulatory networks (GRNs) are complex control systems that govern the interaction of genes, which ultimately control cellular processes at the protein level. GRNs can be ted...
WSC
2007
13 years 11 months ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
MOMPES
2008
IEEE
14 years 3 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
SIS
2004
13 years 10 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
STTT
2010
13 years 3 months ago
2010
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...