Sciweavers

Share
33 search results - page 1 / 7
» maude 2007
Sort
View
CALCO
2007
Springer
96views Mathematics» more  CALCO 2007»
10 years 1 months ago
The Maude Formal Tool Environment
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
Manuel Clavel, Francisco Durán, Joe Hendrix...
MAUDE
2007
Springer
10 years 1 months ago
System Modules
Manuel Clavel, Francisco Durán, Steven Eker...
MAUDE
2007
Springer
10 years 1 months ago
Playing with Maude
Manuel Clavel, Francisco Durán, Steven Eker...
ENTCS
2007
94views more  ENTCS 2007»
9 years 7 months ago
A Distributed Implementation of Mobile Maude
We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus ...
Francisco Durán, Adrián Riesco, Albe...
LTCONF
2007
Springer
10 years 1 months ago
A Hybrid System for Named Entity Metonymy Resolution
Caroline Brun, Maud Ehrmann, Guillaume Jacquet
books