Sciweavers

5608 search results - page 795 / 1122
» Structure description tools
Sort
View
RE
2005
Springer
16 years 4 days ago
Model-Driven Visual Requirements Engineering
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...
SIGADA
2005
Springer
16 years 4 days ago
Experiences using SPARK in an undergraduate CS course
This paper describes experiences garnered while teaching a course on high integrity software using SPARK to a mix of junior and senior level undergraduates. The paper describes th...
Anthony S. Ruocco
VISUAL
2005
Springer
16 years 4 days ago
Image Annotation for Adaptive Enhancement of Uncalibrated Color Images
The paper describes an innovative image annotation tool, based on a multi-class Support Vector Machine, for classifying image pixels in one of seven classes - sky, skin, vegetation...
Claudio Cusano, Francesca Gasparini, Raimondo Sche...
AOSE
2004
Springer
16 years 2 days ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...
CAISE
2004
Springer
16 years 2 days ago
An Approach to Heterogeneous Data Translation based on XML Conversion
In this paper, we illustrate a preliminary approach to the translation of Web data between heterogeneous formats. This work fits into a larger project whose aim is the development...
Paolo Papotti, Riccardo Torlone