4036 search results - page 128 / 808 » Formal Methods |
136
Voted
IJCAI
1993
15 years 6 months ago
1993
A student model description language and its synthesis method are presented. The language called SMDL is based on a logic programming language taking 4 truth values such as true, ...
129
Voted
ICASSP
2010
IEEE
15 years 5 months ago
2010
IEEE
The major contribution of this paper is the presentation of a general unifying description of distributed algorithms allowing to map local, node-based, algorithms onto a single gl...
149
click to vote
ICFCA
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
141
click to vote
CARDIS
1998
Springer
15 years 9 months ago
1998
Springer
: The new Gemplus smart card is based on the Java technology, embedding a virtual machine. The security policy uses mechanisms that are based on Java properties. This language prov...
169
Voted
ICFCA
2005
Springer
15 years 10 months ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...