Sciweavers

5664 search results - page 414 / 1133
» Creativity support tools
Sort
View
SOFTVIS
2006
ACM
16 years 24 days ago
Mondrian: an agile information visualization framework
Data visualization is the process of representing data as pictures to support reasoning about the underlying data. For the interpretation to be as easy as possible, we need to be ...
Michael Meyer, Tudor Gîrba, Mircea Lungu
ICAS
2005
IEEE
103views Robotics» more  ICAS 2005»
16 years 13 days ago
QoS issues in the Research and Academic Networks: The case of GRNET
This paper describes the design and the implementation of QoS services in a high speed backbone network as well as a management tool for the service. The services were designed ta...
Christos Bouras, Anastasios Karaliotas, Michael Oi...
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
16 years 9 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
XPU
2005
Springer
16 years 9 days ago
Source Code Repositories and Agile Methods
Source repositories are a promising database of information about software projects. This paper proposes a tool to extract and summarize information from CVS logs in order to ident...
Alberto Sillitti, Giancarlo Succi
TOOLS
2000
IEEE
15 years 11 months ago
More Meaningful UML Models
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
Ileana Ober