Sciweavers

2688 search results - page 89 / 538
» A formal semantics for P3P
Sort
View
IJCSA
2008
126views more  IJCSA 2008»
13 years 7 months ago
The GOQL Language and its Formal Specifications
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...
Euclid Keramopoulos, Philippos Pouyioutas, Tasos P...
RAID
2009
Springer
14 years 2 months ago
Using Formal Grammar and Genetic Operators to Evolve Malware
In this paper, we leverage the concepts of formal grammar and genetic operators to evolve malware. As a case study, we take COM infectors and design their formal grammar with produ...
Sadia Noreen, Shafaq Murtaza, M. Zubair Shafiq, Mu...
DASFAA
2005
IEEE
171views Database» more  DASFAA 2005»
14 years 1 months ago
Mining Succinct Systems of Minimal Generators of Formal Concepts
Formal concept analysis has become an active field of study for data analysis and knowledge discovery. A formal concept C is determined by its extent (the set of objects that fall...
Guozhu Dong, Chunyu Jiang, Jian Pei, Jinyan Li, Li...
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
13 years 12 months ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch
FUIN
2006
103views more  FUIN 2006»
13 years 7 months ago
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Formal concept analysis has grown from a new branch of the mathematical field of lattice theory to a widely recognized tool in Computer Science and elsewhere. In order to fully be...
Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zh...