000 | 04084nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-319-15392-6 | ||
003 | DE-He213 | ||
005 | 20200421112040.0 | ||
007 | cr nn 008mamaa | ||
008 | 150123s2015 gw | s |||| 0|eng d | ||
020 |
_a9783319153926 _9978-3-319-15392-6 |
||
024 | 7 |
_a10.1007/978-3-319-15392-6 _2doi |
|
050 | 4 | _aQA75.5-76.95 | |
072 | 7 |
_aUMA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aCOM018000 _2bisacsh |
|
082 | 0 | 4 |
_a006 _223 |
245 | 1 | 0 |
_aNature of Computation and Communication _h[electronic resource] : _bInternational Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / _cedited by Phan Cong Vinh, Emil Vassev, Mike Hinchey. |
264 | 1 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015. |
|
300 |
_aXIII, 371 p. 150 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, _x1867-8211 ; _v144 |
|
505 | 0 | _aModular Design and Verification of Distributed Adaptive Real-Time Systems -- Modeling Swarm Robotics with Know Lang -- Reasoning on Data Streams: an Approach to Adaptation in Pervasive Systems -- Autonomic Computing Software for Autonomous Space Vehicles -- Logic-Based Modeling of Information Transfer in Cyber-Physical Multi-Agent Systems -- Categorical Structures of Self-Adaptation in Collective Adaptive Systems -- Self-Adaptive Traits in Collective Adaptive Systems -- A Context-Aware Traffic Engineering Model for Software-Defined Networks -- Efficient k-Nearest Neighbor Search for Static Queries over High Speed Time-Series Streams Reconstructing low degree triangular parametric surfaces based on inverse Loop subdivision -- Maximizing the lifetime of wireless sensor networks with the base station location -- An Application of PCA on Uncertainty of Prediction -- Co-modeling: an agent-based approach to support the coupling of heterogeneous models -- Slowdown-guided Genetic Algorithm for Job Scheduling in Federated Environments -- Security Aspects of Cloud Based Mobile Health Care Application Enhancement of Innovation Co-creation Processes and Ecosystems Through Mobile Technologies -- Development the method for Optimizing Cost of Software Quality Assurance based on Regression-based Model -- Un-normalized and random walk hypergraph Laplacian un-supervised learning. | |
520 | _aThis book constitutes the thoroughly refereed post-conference proceedings of the International Conference on Nature of Computation and Communication, ICTCC 2014, held in November 2014 in Ho Chi Minh City, Vietnam. The 34 revised full papers presented were carefully reviewed and selected from over 100 submissions. The papers cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer communication systems. | |
650 | 0 | _aComputers. | |
650 | 0 | _aDatabase management. | |
650 | 0 | _aImage processing. | |
650 | 0 | _aPattern recognition. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aComputing Methodologies. |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aPattern Recognition. |
650 | 2 | 4 | _aTheory of Computation. |
650 | 2 | 4 | _aDatabase Management. |
650 | 2 | 4 | _aImage Processing and Computer Vision. |
700 | 1 |
_aVinh, Phan Cong. _eeditor. |
|
700 | 1 |
_aVassev, Emil. _eeditor. |
|
700 | 1 |
_aHinchey, Mike. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783319153919 |
830 | 0 |
_aLecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, _x1867-8211 ; _v144 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-15392-6 |
912 | _aZDB-2-SCS | ||
942 | _cEBK | ||
999 |
_c56608 _d56608 |