1445 search results - page 55 / 289 » Architectures to make Simple Visualisations using Simple Sys... |
VTC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Mobility in packet networks has become a critical issue in the last years. Mobile IP and the Network Mobility Basic Support Protocol are the IETF proposals to provide mobility....
FAABS
2000
Springer
14 years 9 days ago
2000
Springer
Abstract. Agent-based systems that are composed of simple locally interacting agents but which demonstrate complex group behavior o er several advantages over traditional multi-age...
IJACI
2010
13 years 7 months ago
2010
This paper explores a very simple idea: what can be achieved by using the principles and the technologies of the Web Platform1 when they are applied to Ambient Computing? To answer...
TPHOL
1992
IEEE
14 years 23 days ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
SSDBM
2003
IEEE
14 years 2 months ago
2003
IEEE
It is now common to encounter communities engaged in the collaborative analysis and transformation of large quantities of data over extended time periods. We argue that these comm...