2282 search results - page 327 / 457 » Active property checking |
BC
2005
13 years 10 months ago
2005
Weextendthetheoryofself-organizingneuralfields in order to analyze the joint emergence of topography and feature selectivity in primary visual cortex through spontaneous symmetry b...
TMC
2008
13 years 10 months ago
2008
Energy efficiency is one of the major concerns in wireless sensor networks, since it impacts the network lifetime. In this paper, we investigate the relationship between sensor net...
JCS
2010
13 years 8 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
SEMWEB
2010
Springer
13 years 8 months ago
2010
Springer
Popularity and spread of online social networking in recent years has given a great momentum to the study of dynamics and patterns of social interactions. However, these studies ha...
ICWSM
2009
13 years 7 months ago
2009
With an increasing number of people that read, write and comment on blogs, the blogosphere has established itself as an essential medium of communication. A fundamental characteri...