2662 search results - page 52 / 533 » Objects-early tools: a demonstration |
FM
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
GCC
2006
Springer
15 years 1 months ago
2006
Springer
Increasingly scientists are using collections of software tools in their research. These tools are typically used in concert, often necessitating laborious and error prone manual ...
EDBT
2010
ACM
14 years 11 months ago
2010
ACM
One of the most challenging tasks for the database administrator is to physically design the database to attain optimal performance for a given workload. Physical design is hard b...
COMAD
2008
14 years 11 months ago
2008
Personalized rendering of web pages gives the users greater control to view only what they prefer. The goal of this work is to provide a tool that will let users customize the con...
AVI
2004
14 years 11 months ago
2004
As the field of information visualization matures, the tools and ideas described in our research publications are reaching users. The reports of usability studies and controlled e...