1648 search results - page 66 / 330 » Structuring namespace descriptions |
121
click to vote
ENTCS
2007
15 years 3 months ago
2007
This paper proposes a calculus for describing communication-centred programs and discusses its use through a formal description of several use cases from real business protocols. ...
109
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, ...
144
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
We present a system to automatically generate RSS feeds from HTML documents that consist of time-series items with date expressions, e.g., archives of weblogs, BBSs, chats, mailin...
96
Voted
ICALT
2008
IEEE
15 years 10 months ago
2008
IEEE
Although the notion of generality is central in mathematics and science, being able to identify and express general patterns and/or articulating structures is one of the main difï...
113
click to vote
IAT
2007
IEEE
15 years 9 months ago
2007
IEEE
Collaborative tagging systems are becoming very popular recently. Web users use freely-chosen tags to describe shared resources, resulting in a folksonomy. One problem of folksono...