4372 search results - page 3 / 875 » Algorithmic Theories of Everything |
AGENTCL
2003
Springer
14 years 1 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
CIKM
2003
Springer
14 years 1 months ago
2003
Springer
Currently, stream data processing is an active area of research, which includes everything from algorithms and architectures for stream processing to modelling and analysis of var...
ICSE
1993
IEEE-ACM
14 years 19 days ago
1993
IEEE-ACM
We give examples of situations where formal specifications of procedures in the standard pre/postcondition style become lengthy, cumbersome and difficult to change, a problem whic...
JCIT
2008
13 years 8 months ago
2008
A ubiquitous city is where everything is interconnected with everything else, where information is instantaneously shared. In a U-city, people can access a variety of web data in ...
JSYML
2006
13 years 8 months ago
2006
It is shown that, according to NF, many of the assertions of ordinal arithmetic involving the T-function which is peculiar to NF turn out to be equivalent to the truth-in-certain-...