Works matching DE "COMPUTER checkers"
Results: 12
Contract.- Checking, Wrappers for C++ Classes.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 11, p. 794, doi. 10.1109/TSE.2004.80
- By:
- Publication type:
- Article
Modeling Distributed Real-time Elevator System by Three Model Checkers.
- Published in:
- International Journal of Online Engineering, 2018, v. 14, n. 4, p. 94, doi. 10.3991/ijoe.v14i04.8383
- By:
- Publication type:
- Article
PLAINTEXT CHECKABLE ENCRYPTION WITH DESIGNATED CHECKER.
- Published in:
- Advances in Mathematics of Communications, 2015, v. 9, n. 1, p. 37, doi. 10.3934/amc.2015.9.37
- By:
- Publication type:
- Article
Concurrent depth-first search algorithms based on Tarjan's Algorithm.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 129, doi. 10.1007/s10009-015-0382-1
- By:
- Publication type:
- Article
SATMC: a SAT-based model checker for security protocols, business processes, and security APIs.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 2, p. 187, doi. 10.1007/s10009-015-0385-y
- By:
- Publication type:
- Article
Checking JML specifications using an extensible software model checking framework.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 280, doi. 10.1007/s10009-005-0218-5
- By:
- Publication type:
- Article
Error explanation with distance metrics.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 229, doi. 10.1007/s10009-005-0202-0
- By:
- Publication type:
- Article
Certificate size reduction in abstraction-carrying code.
- Published in:
- Theory & Practice of Logic Programming, 2012, v. 12, n. 3, p. 283, doi. 10.1017/S1471068410000487
- By:
- Publication type:
- Article
Chages on CRAN.
- Published in:
- R Journal, 2017, v. 9, n. 1, p. 505
- By:
- Publication type:
- Article
Deep Blue Cannot Play Checkers: The Need for Generalized Intelligence for Mobile Robots.
- Published in:
- Journal of Robotics, 2010, p. 1, doi. 10.1155/2010/523757
- By:
- Publication type:
- Article
A PATTERN RECOGNITION MODEL FOR FORECASTING.
- Published in:
- Management Science, 1974, v. 20, n. 8, p. 1178, doi. 10.1287/mnsc.20.8.1178
- By:
- Publication type:
- Article
Computer spellcheckers and dyslexics—a performance survey.
- Published in:
- British Journal of Educational Technology, 2001, v. 32, n. 1, p. 23, doi. 10.1111/1467-8535.00174
- By:
- Publication type:
- Article