InhaltsangabeCloud-Based Tasking, Collection, Processing, Exploitation, and Dissemination in a Case-Based Reasoning System.- Simulation-Based Validation for Smart Grid Environments: Framework and Experimental Results.- An Institution for Alloy and its Translation to Second-Order Logic.- A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata Waiting State Automata Waiting State Automata.- Formal MDE-Based Tool Development.- Formal Modeling and Analysis of Learning-Based Routing in Mobile Wireless Sensor Networks Mobile Wireless Sensor Networks Mobile Wireless Sensor Networks On the Use of Anaphora Resolution for Workflow Extraction.- A Minimum Description Length Technique for Semi Supervised Time Series Classification Time Series Classification Time Series Classification.- Interpreting Random Forest Classification Models Using a Feature Contribution Method.

Hersteller:
Springer Verlag GmbH
juergen.hartmann@springer.com
Tiergartenstr. 17
DE 69121 Heidelberg