1031 search results - page 46 / 207 » Modeling and Formal Verification of Production Automation Sy... |
ECBS
2010
IEEE
13 years 12 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
IJNSEC
2010
13 years 2 months ago
2010
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
SAC
2006
ACM
13 years 7 months ago
2006
ACM
Model transformations are frequently applied in business process modeling to bridge between languages on a different abstraction and formality. In this paper, we define a transfor...
FMCAD
2007
Springer
13 years 11 months ago
2007
Springer
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
ECMDAFA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...