10802 search results - page 1982 / 2161 » Generative and developmental systems |
159
click to vote
IPPS
2008
IEEE
16 years 27 days ago
2008
IEEE
— To share and exchange the files among Internet users, Peerto-Peer (P2P) applications build another layer of overlay networks on top of the Internet Infrastructure. In P2P fil...
197
click to vote
MOBIQUITOUS
2008
IEEE
16 years 27 days ago
2008
IEEE
The big challenge related to the contemporary research on ubiquitous and pervasive computing is that of seamless integration. For the next generation of ubiquitous and distributed...
181
click to vote
SCAM
2008
IEEE
16 years 26 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
204
click to vote
TPHOL
2008
IEEE
16 years 26 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
196
click to vote
WMCSA
2008
IEEE
16 years 26 days ago
2008
IEEE
Remote patient monitoring generates much more data than healthcare professionals are able to manually interpret. Automated detection of events of interest is therefore critical so...