Sciweavers

652 search results - page 29 / 131
» On the behavioural dimension of correspondences between proc...
Sort
View
CONCUR
2001
Springer
13 years 12 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...
ECCV
2008
Springer
14 years 9 months ago
Beyond Nouns: Exploiting Prepositions and Comparative Adjectives for Learning Visual Classifiers
Learning visual classifiers for object recognition from weakly labeled data requires determining correspondence between image regions and semantic object classes. Most approaches u...
Abhinav Gupta, Larry S. Davis
EKAW
1997
Springer
13 years 11 months ago
The Notion of Role in Conceptual Modeling
: In this article we analyse the notion of knowledge role. First of all, we present how the relationship between problem solving methods and domain models is tackled in different a...
Chantal Reynaud, Nathalie Aussenac-Gilles, Pierre ...
IASTEDSE
2004
13 years 8 months ago
A software development process supporting non-functional properties
This paper presents a development process with particular focus on non-functional properties. The process is built around the concept of measurements at different levels of abstra...
Simone Röttger, Steffen Zschaler
KBSE
2005
IEEE
14 years 1 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati