2404 search results - page 322 / 481 » Postmodernism and Control Engineering |
152
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
132
click to vote
DFG
2004
Springer
15 years 9 months ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
138
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
129
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
144
click to vote
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— Network reconstruction, i.e., obtaining network structure from data, is a central theme in systems biology, economics, and engineering. Previous work introduced dynamical struc...