Sciweavers

913 search results - page 8 / 183
» Toward Formalizing Structured Analysis
Sort
View
DIGRA
2003
Springer
14 years 26 days ago
The Diverse Worlds of Computer Games: A Content Analysis of Spaces, Populations, Styles and Narratives
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....
Jeffrey E. Brand, Scott Knight, Jakub Majewski
IEEEICCI
2005
IEEE
14 years 1 months ago
Formal concept analysis based on hierarchical class analysis
The study of concept formation and learning is a central topic in cognitive informatics. Formal concept analysis can be viewed as an approach on this topic based on a formal conte...
Yaohua Chen, Yiyu Yao
IAT
2008
IEEE
14 years 2 months ago
Understanding Social Networks Using Formal Concept Analysis
Social networks are very popular nowadays and the understanding of their inner structure seems to be promising area. Several approaches for the social network structure visualizat...
Václav Snásel, Zdenek Horak, Ajith A...
TDSC
2008
152views more  TDSC 2008»
13 years 7 months ago
Towards Formal Verification of Role-Based Access Control Policies
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
Somesh Jha, Ninghui Li, Mahesh V. Tripunitara, Qih...
ICFCA
2004
Springer
14 years 1 months ago
Towards a Conceptual Theory of Indistinguishable Objects
Based on the conceptual representation of objects in space and time as introduced in Temporal Concept Analysis first steps are done into the direction of a conceptual theory of ...
Karl Erich Wolff