1323 search results - page 96 / 265 » Extended Modeling Languages for Interaction Protocol Design |
126
Voted
DATE
2005
IEEE
15 years 9 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...
145
Voted
SACMAT
2006
ACM
15 years 9 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
150
Voted
PG
2002
IEEE
15 years 8 months ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
140
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
103
Voted
TOOLS
2000
IEEE
15 years 8 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...