Sciweavers

4126 search results - page 108 / 826
» Relationships with other Formalisms
Sort
View
ASWEC
2009
IEEE
16 years 1 months ago
Change Propagation Analysis Using Domain Information
We propose a novel methodology for analysing change propagation in software using the domain-level behavioural model of a system. We hypothesize that change propagation analysis i...
Amir Aryani, Ian D. Peake, Margaret Hamilton, Hein...
JCIT
2008
113views more  JCIT 2008»
15 years 6 months ago
The Association of China Stock Index with Japan and US
With trend of globalization in the international financial market, a more intimate relationship of capital flows is being formed day by day in capital market. Thus, it is importan...
Meng-Long Shih, Shu-Hua Hsiao, Fang-Sheng Chen
IAT
2009
IEEE
16 years 1 months ago
How Do Agents Comply with Norms?
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
Guido Governatori, Antonino Rotolo
GD
1994
Springer
15 years 10 months ago
A Geometrical Heuristic for Drawing Concept Lattices
Abstract. Concept lattices are used in formal concept analysis to represent data conceptually so that the original data are still recognizable. Their line diagrams should re ect th...
Gerd Stumme, Rudolf Wille
DAGSTUHL
1993
15 years 7 months ago
Syntax and Semantics of Hybrid Database Languages
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...
Marc Andries, Gregor Engels