8179 search results - page 239 / 1636 » The PRACTIONIST Development Tool |
153
click to vote
SPIN
2005
Springer
16 years 9 hour ago
2005
Springer
We present ETCH, an enhanced type checking tool for the Promela language. This tool uses standard type checking in conjunction with constraint-based type inference to detect type e...
136
click to vote
ICWL
2004
Springer
15 years 12 months ago
2004
Springer
Learning object repositories and evaluation tools have the potential to serve as sites for interaction among different cultures and communities of practice. This paper outlines the...
144
click to vote
CCGRID
2003
IEEE
15 years 11 months ago
2003
IEEE
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...
173
click to vote
NDSS
2003
IEEE
15 years 11 months ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
180
click to vote
COMPSAC
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper describes the application of a suite of innovative information processing and analytic support tools developed at The MITRE Corporation, in some cases as extensions of ...