Sciweavers

1390 search results - page 250 / 278
» A Methodology for Requirements Engineering Process Developme...
Sort
View
CBMS
2009
IEEE
15 years 6 months ago
On the storage, management and analysis of (multi) similarity for large scale protein structure datasets in the grid
Assessment of the (Multi) Similarity among a set of protein structures is achieved through an ensemble of protein structure comparison methods/algorithms. This leads to the genera...
Gianluigi Folino, Azhar Ali Shah, Natalio Krasnogo...
ICEIS
2008
IEEE
15 years 6 months ago
Tool Support for the Integration of Light-Weight Ontologies
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
Thomas Heer, Daniel Retkowitz, Bodo Kraft
MODELS
2007
Springer
15 years 6 months ago
Useware Modeling for Ambient Intelligent Production Environments
The impact of user interface quality has grown in software systems engineering, and will grow further with upcoming new paradigms such as Ambient Intelligence or Ubiquitous Comput...
Daniel Görlich, Kai Breiner
APWEB
2004
Springer
15 years 5 months ago
Multiresolution Spatial Databases: Making Web-Based Spatial Applications Faster
Abstract. Spatial data has now been used extensively in the Web environment, providing online customized maps and supporting map-based applications. The full potential of Web-based...
Xiaofang Zhou, Sham Prasher, Sai Sun, Kai Xu 0003
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 5 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...