4340 search results - page 158 / 868 » Formal Methods and Cryptography |
128
click to vote
ISIM
2007
15 years 5 months ago
2007
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
153
Voted
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
116
Voted
IJCAI
1993
15 years 5 months ago
1993
These notes discuss formalizing contexts as first class objects. The basic relation is ist(c, p). It asserts that the proposition p is true in the context c. The most important f...
139
click to vote
IJFCS
2008
15 years 4 months ago
2008
We present an application of formal concept analysis aimed at representing a meaningful structure of knowledge communities in the form of a lattice-based taxonomy. The taxonomy gr...
126
click to vote
IJCSA
2006
15 years 4 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...