Sciweavers

8179 search results - page 238 / 1636
» The PRACTIONIST Development Tool
Sort
View
ICSE
2003
IEEE-ACM
16 years 6 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
HICSS
2010
IEEE
155views Biometrics» more  HICSS 2010»
16 years 1 months ago
Experiences Validating the Access Policy Tool in Industrial Settings
—The Access Policy Tool (APT) analyzes the firewall configuration in an enterprise network for compliance with global access policy, e.g., such as describes the industry’s be...
David M. Nicol, William H. Sanders, Mouna Seri, Sa...
KBSE
2008
IEEE
16 years 28 days ago
Predicting Effectiveness of Automatic Testing Tools
—Automatic white-box test generation is a challenging problem. Many existing tools rely on complex code analyses and heuristics. As a result, structural features of an input prog...
Brett Daniel, Marat Boshernitsan
IMSCCS
2006
IEEE
16 years 17 days ago
JAS - An E-Learning Tool for Building Multimedia Presentations
This paper will focus on issues relating to the building of multimedia presentations under a certain framework through a newly developed e-learning tool. The issues addressed incl...
Xiaoye Dai, Sabin Tabirca, Eamon Lenihan
ISPD
2005
ACM
185views Hardware» more  ISPD 2005»
16 years 2 days ago
Dragon2005: large-scale mixed-size placement tool
In this paper, we develop a mixed-size placement tool, Dragon2005, to solve large scale placement problems effectively. A top-down hierarchical approach based on min-cut partition...
Taraneh Taghavi, Xiaojian Yang, Bo-Kyung Choi