1
Pubblicazione 2015
Sommario: ... Semantic Ambiguities of Function Block Architecture by Modeling with ASM -- On Tractability of Disjoint...
Testo
Elettronico eBook
2
Pubblicazione 2005
Sommario: ... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...
Testo
Elettronico eBook
3
Pubblicazione 2005
Sommario: ...) -- Letter Based Text Scoring Method for Language Identification -- Parallel and Distributed Data Processing...
Testo
Elettronico eBook
4
Pubblicazione 2014
Sommario: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ... Complex Event Processing Based on RFID Standards -- Physical/Cyber Objects Management Framework...
Testo
Elettronico eBook
6
Pubblicazione 2013
Sommario: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
Testo
Elettronico eBook
7
Pubblicazione 2008
Sommario: ... Processing Unit -- Artificial Immune System for Collaborative Spam Filtering -- MP Systems and Hybrid Petri...
Testo
Elettronico eBook