3147 search results - page 3 / 630 » Open-Source Model Checking |
SOCIALCOM
2010
13 years 2 months ago
2010
Most of the current swarm model studies and applications try to mimic the collective behaviors of social animals, such as birds and ants. The studies seek to solve tasks similar to...
ACL
2012
11 years 10 months ago
2012
We present a new open source toolkit for phrase-based and syntax-based machine translation. The toolkit supports several state-of-the-art models developed in statistical machine t...
FIMH
2007
Springer
14 years 1 months ago
2007
Springer
Placement of Implantable Cardiac Defibrillator (ICD) leads in children and some adults is challenging due to anatomical factors. As a result, novel ad hoc non-transvenous implant t...
ICSE
2007
IEEE-ACM
14 years 7 months ago
2007
IEEE-ACM
Quality is becoming increasingly important with the continuous adoption of open-source software. Previous research has found that there is generally a positive relationship betwee...
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...