3742 search results - page 77 / 749 » On the Use of Formal Techniques for Validation |
165
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
147
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
154
click to vote
EACL
1989
ACL Anthology
15 years 7 months ago
1989
ACL Anthology
Although the formalisms normally used for describing the semantics of natural languages are far from computationally tractable, it is possible to isolate particular semantic pheno...
155
click to vote
IJAOSE
2008
15 years 6 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
156
click to vote
AIIA
2005
Springer
15 years 11 months ago
2005
Springer
Given Boolean data sets which record properties of objects, Formal Concept Analysis is a well-known approach for knowledge discovery. Recent application domains, e.g., for very lar...