4767 search results - page 777 / 954 » Structures for Abstract Rewriting |
CLIMA
2007
13 years 11 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...
LREC
2010
13 years 11 months ago
2010
In this paper, we report on our attempt at assigning semantic information from the English FrameNet to lexical units in the Bulgarian valency lexicon. The paper briefly presents t...
FEWS
2007
13 years 11 months ago
2007
Abstract. Research collaborations are always encouraged, as they often yield good results. However, the researcher network contains massive amounts of experts in various discipline...
SERVICES
2010
13 years 11 months ago
2010
Abstract--Exchanging structured business documents is inevitable for successful collaboration in electronic commerce. A prerequisite, for fostering the interoperability between bus...
FORTE
2007
13 years 11 months ago
2007
Abstract. We present a formal specification and analysis of a faulttolerant DHCP algorithm, used to automatically configure certain host parameters in an IP network. Our algorith...