Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...
Lire la suiteAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lire la suiteAdvances in technology have enabled the collection of data from scientific observations, simulations, and experiments at ...
Lire la suiteThis book focuses on various techniques of computational intelligence, both single ones and those which form hybrid methods. ...
Lire la suiteThe two volume set LNAI 3801 and LNAI 3802 constitute the refereed proceedings of the annual International Conference on ...
Lire la suiteComputational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
Lire la suiteComputational intelligence (CI), as an alternative to statistical and econometric approaches, has been applied to a wide ...
Lire la suiteThough multiagent systems (MASs) are being increasingly used, few methods exist to ensure survivability of MASs. All existing ...
Lire la suiteThe notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, ...
Lire la suiteThis book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lire la suiteCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lire la suiteThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lire la suiteThis book constitutes the refereed proceedings of the 6th International Conference on Computer Vision Systems, ICVS 2008, ...
Lire la suiteThe Constraint Handling Rules (CHR) language is a declarative concurrent committed-choice constraint logic programming language ...
Lire la suiteThis volume contains selected and thoroughly revised papers plus contributions from invited speakers presented at the First ...
Lire la suitehe volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suitehe volume examines how to increase modularity, simplify reasoning, and ultimately enhance today's software development by ...
Lire la suiteOngoing global changes bring fundamentally new scientific problems requiring new concepts and tools. A key issue concerns ...
Lire la suiteThis book covers everything you need to know to write professional-level cryptographic code. This expanded, improved second ...
Lire la suiteA leitmotif in the evolution of programming paradigms has been the level and extent of parametrisation that is facilitated ...
Lire la suite