Sciweavers

321 search results - page 23 / 65
» A Model for Change Propagation Based on Graph Rewriting
Sort
View
111
Voted
ER
2007
Springer
101views Database» more  ER 2007»
15 years 6 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
95
Voted
TBILLC
2007
Springer
15 years 6 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
96
Voted
RE
2002
Springer
15 years 1 days 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...
124
Voted
CVPR
2011
IEEE
14 years 9 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...
136
Voted
PPDP
1999
Springer
15 years 4 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