746 search results - page 83 / 150 » Formal Analysis of UML-Based Designs |
110
click to vote
DATE
2005
IEEE
15 years 7 months ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...
116
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
In distributed scenarios the robustness of a reputation mechanism depends on the data available for computation. Especially in ad-hoc networks the amount of available data is rest...
103
click to vote
BPM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Business Process Management (BPM) includes methods, techniques, and tools to support the design, enactment, management, and analysis of operational business processes. It...
135
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. In the paper Support for Design Patterns through Graph Transformation Tools in this volume, we have already outlined the global structure of a tool that allows for the an...
CSMR
2005
IEEE
15 years 7 months ago
2005
IEEE
Object-oriented applications are difficult to extend and maintain, due to the presence of implicit dependencies in the inheritance hierarchy. Although these dependencies often co...