687 search results - page 73 / 138 » Specification and Verification of Model Transformations Usin... |
ACSD
2010
IEEE
13 years 8 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
TABLEAUX
1998
Springer
14 years 2 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
ion for Epistemic Model Checking of Dining Cryptographers-based Protocols Omar I. Al-Bataineh and Ron van der Meyden School of Computer Science and Engineering, University of New S...
DOCENG
2010
ACM
13 years 11 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
APSEC
2004
IEEE
14 years 1 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...