SOFTVIS
2010
ACM
13 years 11 months ago
2010
ACM
Code smells are characteristics of software that indicate that code may have a design problem. Code smells have been proposed as a way for programmers to recognize the need for re...
CIIA
2009
14 years 16 days ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
ATAL
2010
Springer
14 years 16 days ago
2010
Springer
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...
SOQUA
2007
14 years 18 days ago
2007
With the proliferation of the new multi-core personal computers, and the explosion of the usage of highly concurrent machine configuration, concurrent code moves from being writt...
USENIX
1994
14 years 23 days ago
1994
Wux is a port of Unix tools to the Microsoft Windows environment. It is based on a library providing a Unixcompatible set of system calls on top of Windows. Unix-derived tools run...
WSC
2000
14 years 23 days ago
2000
This paper discusses Simphony as an integrated environment for building special purpose simulation tools for modeling construction systems. Simphony provides various services that...
WSC
2001
14 years 24 days ago
2001
The Joint Warfare System (JWARS) is being equipped with a growing set of tools for microanalysis of single replications and for macro-analysis across multiple replications. These ...
MODELLIERUNG
2004
14 years 25 days ago
2004
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
CAINE
2004
14 years 25 days ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
COMMA
2008
14 years 27 days ago
2008
In this paper we discuss the development of tools to support a system for edemocracy that is based upon and makes use of existing theories of argument representation and evaluatio...