3400 search results - page 127 / 680 » tools 2008 |
110
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
153
click to vote
JMLR
2008
15 years 3 months ago
2008
LIBLINEAR is an open source library for large-scale linear classification. It supports logistic regression and linear support vector machines. We provide easy-to-use command-line ...
121
Voted
CN
2002
15 years 3 months ago
2002
Abstract. Two types of visualization and animation tools for LOTOS execution traces are presented: a translator from LOTOS traces to Message Sequence Charts and a graphic animator....
167
click to vote
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
125
click to vote
PTS
2008
15 years 4 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...