Sciweavers

2367 search results - page 256 / 474
» Harvesting design for an application framework
Sort
View
ER
2008
Springer
91views Database» more  ER 2008»
15 years 8 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
FASE
2008
Springer
15 years 8 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
ICAD
2004
15 years 8 months ago
Interacting With Sound: An Interaction Paradigm for Virtual Auditory Worlds
The visual and the auditory field of perception respond on different input signals from our environment. Thus, interacting with worlds solely trough sound is a very challenging ta...
Niklas Röber, Maic Masuch
WSC
1997
15 years 8 months ago
Integration of Simulation with Enterprise Models
The Enterprise Modeling Framework (EMF) consists of a methodology for modeling the three major facets of an enterprise, viz., function, information and dynamics. Its main goal is ...
Krishnamurthy Srinivasan, Sundaresan Jayaraman
JVCIR
2006
85views more  JVCIR 2006»
15 years 6 months ago
Combining geometrical and textured information to perform image classification
In this paper, we propose a framework to carry out supervised classification of images containing both textured and non textured areas. Our approach is based on active contours. U...
Jean-François Aujol, Tony F. Chan