Sciweavers

3688 search results - page 413 / 738
» Static analysis of aspects
Sort
View
ICAD
2004
15 years 8 months ago
A Toolkit for Interactive Sonification
This paper describes work-in-progress on an Interactive Sonification Toolkit which has been developed in order to aid the analysis of general data sets. The toolkit allows the des...
Sandra Pauletto, Andy Hunt
IADIS
2003
15 years 8 months ago
Aid to the Semantic Maintenance of the Web Site
The objective of our work is to provide some aid to the maintenance of a web site. The webmaster would like to get a semantic follow-up of the users’ browsing, but he only has a...
Michel Sala, Pierre Pompidor, Danièle H&eac...
COLING
2000
15 years 8 months ago
Querying Temporal Databases Using Controlled Natural Language
Recent years have shown a surge in interest in temporal database systems, which allow users to store time-dependent intbrmation. We present a novel controlled natural language int...
Rani Nelken, Nissim Francez
WCE
2007
15 years 8 months ago
Optimizing Designs based on Risk Approach
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
Jorge E. Núñez Mc Leod, Selva S. Riv...
ASE
2007
121views more  ASE 2007»
15 years 7 months ago
Computer-aided Support for Secure Tropos
In earlier work, we have introduced Secure Tropos, a requirements engineering methodology that extends the Tropos methodology and is intended for the design and analysis of securit...
Fabio Massacci, John Mylopoulos, Nicola Zannone