12697 search results - page 42 / 2540 » Call for Papers |
INFORMATICALT
2000
14 years 11 months ago
2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm language:...
CAISE
2003
Springer
15 years 5 months ago
2003
Springer
Our group is involved in the European funded Webocracy project in which an e-government system called Webocrat has been designed and implemented. Our responsibility is to provide m...
112
click to vote
CADE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...
ICALT
2006
IEEE
15 years 5 months ago
2006
IEEE
The new e-learning trend, called mobile learning opens variety of questions to solve. To allow access to learning content anytime and anyplace a technique called hoarding is somet...
100
click to vote
ACSW
2003
15 years 1 months ago
2003
This paper describes the development of a ubiquitous computing environment called the iRoom. Built from a foundation of the MIT Metaglue multi-agent software, a base level of func...