2001 search results - page 204 / 401 » An Update on Generalized Information Theory |
104
click to vote
CSCW
2010
ACM
15 years 5 months ago
2010
ACM
This paper builds on earlier CSCW studies of domestic technologies, looking at the frequent maintenance required by new security technologies that households are adopting to provi...
87
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
ATAL
2009
Springer
15 years 5 months ago
2009
Springer
Coming up with a plan for a team that operates in a non-deterministic environment is a complex process, and the problem is further complicated by the need for team members to comm...
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
With more and more large networks becoming available, mining and querying such networks are increasingly important tasks which are not being supported by database models and query...
ICTAC
2009
Springer
15 years 5 months ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...