597 search results - page 39 / 120 » E-Process Design and Assurance Using Model Checking |
123
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
: This paper presents a Unified Modeling Language (UML) model for VisualAge Generator (VG) business-oriented applications. This model was defined to bridge between two different mo...
170
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
146
click to vote
AOSD
2009
ACM
15 years 7 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
151
click to vote
ESOP
2008
Springer
15 years 6 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
132
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
—In this paper we describe a practical methodology to formally verify highly optimized, industrial multipliers. We a multiplier description language which abstracts from low-leve...