TACAS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
DAWAK
2005
Springer
13 years 10 months ago
2005
Springer
In this paper we describe the design of a tool supporting the integration of independently developed data warehouses, a problem that arises in several common scenarios. The basic f...
CBSE
2005
Springer
13 years 10 months ago
2005
Springer
After a component based system is developed, it has to be deployed into a target environment. As the system becomes much larger and more complex and the environment becomes open an...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Collaborative, visual design tools are typically difficult to build and evolve. We describe a meta tool for specification and generation of multiple view, multiple user visual desi...
SAC
2005
ACM
13 years 10 months ago
2005
ACM
We present a tool which is designed to be used as a code compression advisory system for object code to be run on an embedded processor. All the compression schemes support run-ti...
ACMSE
2005
ACM
13 years 10 months ago
2005
ACM
The eXtensible Markup Language (XML) has become a ubiquitous data exchange and storage format. A variety of tools are available for incorporating XML-based data into applications....
VL
2005
IEEE
13 years 10 months ago
2005
IEEE
What are people currently looking at in their web browser? Do the patterns of pages change over time? Are changes periodic or just related to current events or other factors? We a...
SAC
2006
ACM
13 years 11 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
PPPJ
2006
ACM
13 years 11 months ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
SP
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a new mechanized prover for secrecy properties of security protocols. In contrast to most previous provers, our tool does not rely on the Dolev-Yao model, but on the co...