11381 search results - page 251 / 2277 » Connectivity |
179
click to vote
IPL
2008
15 years 6 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
142
click to vote
IJBC
2006
15 years 6 months ago
2006
We study the dynamical behaviour of the collective field of chaotic systems on small world lattices. Coupled neuronal systems as well as coupled logistic maps are investigated. We...
156
click to vote
IJCIS
2006
15 years 6 months ago
2006
entifies three levels of abstraction for resource requirements a service provider needs to manage, detailed specification of raw resources, virtualization of heterogeneous resource...
CORR
2007
Springer
15 years 6 months ago
2007
Springer