585 search results - page 12 / 117 » Structured Formal Development in Isabelle |
EUROMICRO
2006
IEEE
15 years 5 months ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
110
Voted
COLING
1990
15 years 25 days ago
1990
Arabic has some special syntax features which lead to complex syntax structures. We have developed a formal description of Arabic syntax in Definite Clause Grammar. This grarnrnar...
83
Voted
FOIS
2010
15 years 1 months ago
2010
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
111
Voted
TPHOL
2009
IEEE
15 years 6 months ago
2009
IEEE
Traditional security protocols are mainly concerned with key establishment and principal authentication and rely on predistributed keys and properties of cryptographic operators. I...
107
click to vote
RTA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...