1515 search results - page 148 / 303 » On the relation of aspects and monads |
177
click to vote
INFORMATICALT
2000
15 years 6 months ago
2000
Growing popularity of the mobile code requires to consider various aspects related to its security. In the aviation industry there is a case when additional information needs to be...
199
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
169
click to vote
JILT
2000
15 years 6 months ago
2000
Recent twin decisions of the European Patent Office's Technical Board of Appeal have shifted its stance on software patents significantly. In this paper, I explore the backgr...
145
click to vote
AI
1999
Springer
15 years 6 months ago
1999
Springer
Sage is a robot that has been installed at the Carnegie Museum of Natural History as a full-time autonomous member of the staff. Its goal is to provide educational content to muse...
186
click to vote
INTERNET
2002
15 years 6 months ago
2002
Assisting during emergencies is one of the important functions of the telephone system. Emergency communications has three components: summoning help during emergencies, coordinat...