5434 search results - page 412 / 1087 » Tool support for MOLA |
218
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
ORN Additive is a prototype tool that was developed to show how the gap between database modeling and implementation can be reduced—more specifically, to show how associations d...
207
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
The correct implementation of security protocols is a challenging task. To achieve a high degree of confidence in an implementation, as with any software, ideally one requires bot...
208
click to vote
SIPS
2006
IEEE
16 years 1 months ago
2006
IEEE
—A wide variety of DSP design tools have been developed that incorporate dataflow graph representations into their GUI-based design environments. However, as the complexity of ap...
209
click to vote
WOSP
2004
ACM
16 years 1 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
247
click to vote
ICFEM
2003
Springer
16 years 24 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...