900 search results - page 59 / 180 » On the observational theory of the CPS-calculus |
153
click to vote
CIKM
2009
Springer
16 years 23 days ago
2009
Springer
In the blog world, bloggers produce information, establish relationships with other bloggers in order to exchange information, and form a blog network, an online social network. I...
164
click to vote
MOBIWAC
2006
ACM
16 years 4 days ago
2006
ACM
Convergecast is a fundamental operation in wireless sensor networks. Existing convergecast solutions have focused on reducing latency and energy consumption. However, a good desig...
149
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
174
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Tarski asked whether the arithmetic identities taught in high school are complete for showing all arithmetic equations valid for the natural numbers. The answer to this question f...
142
click to vote
CT
2001
Springer
15 years 10 months ago
2001
Springer
We think that Massively Multi-user Online Role-Playing Games (MMORPGs) will soon evolve into Online Societies of political and economic interest. Studying them will require a metho...