901 search results - page 34 / 181 » Engineering Emergence |
COMPSAC
2010
IEEE
13 years 6 months ago
2010
IEEE
Developing large scale software systems has major security challenges. This paper describes the issues involved and then addresses two topics: formal methods for emerging secure sy...
FSTTCS
2008
Springer
13 years 9 months ago
2008
Springer
We consider the construction of finite automata from their corresponding regular expressions by a series of digraph-transformations along the expression’s structure. Each interm...
ECBS
2007
IEEE
14 years 3 months ago
2007
IEEE
Cyber Physical Systems (CPS) is emerging as a new research discipline at the intersection of physical, biological, engineering and information sciences. Information technology, on...
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
CODES
2000
IEEE
14 years 1 months ago
2000
IEEE
This paperpresents the Compaantool that automatically transforms a nestedloopprogram written in Matlab into a processnetwork specification. The processnetworkmodelof computation...