Sciweavers

321 search results - page 23 / 65
» A Model for Change Propagation Based on Graph Rewriting
Sort
View
ER
2007
Springer
101views Database» more  ER 2007»
15 years 10 months ago
Using Attributed Goal Graphs for Software Component Selection: An Application of Goal-Oriented Analysis to Decision Making
During software requirements analysis and design steps, developers and stakeholders have many alternatives of artifacts such as software component selection and should make decisi...
Kazuma Yamamoto, Motoshi Saeki
TBILLC
2007
Springer
15 years 10 months ago
Expressing Belief Flow in Assertion Networks
In the line of some earlier work done on belief dynamics, we an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal la...
Sujata Ghosh, Fernando R. Velázquez-Quesada
RE
2002
Springer
15 years 3 months ago
Automating Speculative Queries through Event-Based Requirements Traceability
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...
Jane Cleland-Huang, Carl K. Chang, Gaurav Sethi, K...
CVPR
2011
IEEE
15 years 1 months ago
Unsupervised Auxiliary Visual Words Discovery for Large-Scale Image Object Retrieval
Image object retrieval – locating image occurrences of specific objects in large-scale image collections – is essential for manipulating the sheer amount of photos. Current s...
Yin-Hsi Kuo, Hsuan-Tien Lin, Wen-Huang Cheng, Yi-H...
PPDP
1999
Springer
15 years 8 months ago
A Calculus for Interaction Nets
hemical abstract machine Shinya Sato Himeji Dokkyo University, Faculty of Econoinformatics, 7-2-1 Kamiohno, Himeji-shi, Hyogo 670-8524, Japan Ian Mackie LIX, CNRS UMR 7161, ´Ecole...
Maribel Fernández, Ian Mackie