78 search results - page 2 / 16 » A framework for proving the self-organization of dynamic sys... |
SASO
2008
IEEE
13 years 11 months ago
2008
IEEE
The distribution of data in large dynamic wireless sensor networks presents a difficult problem due to node mobility, link failures, and traffic congestion. In this paper, we pr...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. This paper aims at providing a rigorous definition of selforganization, one of the most desired properties for dynamic systems (e.g., peer-to-peer systems, sensor networ...
SASO
2008
IEEE
13 years 11 months ago
2008
IEEE
Demands to match security with performance in Web applications where access to shared data needs to be controlled dynamically make self-protecting security schemes attractive. Yet...
ICSM
2007
IEEE
13 years 11 months ago
2007
IEEE
We examine eleven large open source software systems and present empirical evidence for the existence of fractal structures in software evolution. In our study, fractal structures...
TPHOL
2000
IEEE
13 years 9 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...