Sciweavers

722 search results - page 52 / 145
» Development of Support Tool for NMR Spectrum Analysis
Sort
View
ASE
2008
120views more  ASE 2008»
13 years 10 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
FMOODS
2007
14 years 3 days ago
Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
Peter Csaba Ölveczky, Stian Thorvaldsen
ICSE
2007
IEEE-ACM
14 years 10 months ago
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset
Many architecture description languages (ADLs) have been proposed to model, analyze, configure, and deploy complex software systems. To face this diversity, extensible ADLs (or AD...
Ali Erdem Özcan, Jean-Bernard Stefani, Matthi...
ERCIMDL
2007
Springer
85views Education» more  ERCIMDL 2007»
14 years 4 months ago
Supporting Information Management in Digital Libraries with Map-Based Interfaces
—The Self-Organising Map (SOM) has been proposed as an alternative interface for exploring Digital Libraries (DL), in addition to conventional search and browsing. With advanced ...
Rudolf Mayer, Angela Roiger, Andreas Rauber
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
14 years 3 months ago
Knowledge-Based IS Implementation Support: An Application to the IS Change Agent Role Problem
The threat of abandoned or extensively overhauled IS is a major concern for both MIS specialists and businesses. This concern may stem from the mismatch between MIS specialist cha...
Meral Binbasioglu, Elaine Winston