12742 search results - page 2419 / 2549 » On canonical number systems |
193
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
156
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
154
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
Given the large heterogeneity of the World Wide Web, using metadata on the search engines side seems to be a useful track for information retrieval. Though, because a manual quali...
166
click to vote
WINE
2005
Springer
15 years 12 months ago
2005
Springer
We propose a simple and intuitive cost mechanism which assigns costs for the competitive usage of m resources by n selfish agents. Each agent has an individual demand; demands are...
168
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Although telepointers are valuable for supporting real-time collaboration, they are rarely seen in commercial groupware applications that run on the Internet. One reason for their...