Edizione	[1st ed. 2012.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012
Descrizione fisica	1 online resource (XV, 378 p. 133 illus.)
Disciplina	006.3/1
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Computer science Algorithms Computer science—Mathematics Discrete mathematics Computer Science Logic and Foundations of Programming Theory of Computation Mathematics of Computing Discrete Mathematics in Computer Science
ISBN	3-642-30885-6
Classificazione	54.53
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Contribution to a Rigorous Analysis of Web Application Frameworks / Egon Börger, Antonio Cisternino and Vincenzo Gervasi -- Integrated Operational Semantics: Small-Step, Big-Step and Multi-step / Ian J. Hayes and Robert J. Colvin -- Test Generation for Sequential Nets of Abstract State Machines / Paolo Arcaini, Francesco Bolis and Angelo Gargantini -- ASM and Controller Synthesis / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Continuous ASM, and a Pacemaker Sensing Fragment / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- An ASM Model of Concurrency in a Web Browser / Vincenzo Gervasi -- Modeling the Supervisory Control Theory with Alloy / Benoît Fraikin, Marc Frappier and Richard St-Denis -- Preventing Arithmetic Overflows in Alloy / Aleksandar Milicevic and Daniel Jackson -- Extending Alloy with Partial Instances / Vajih Montaghami and Derek Rayside -- Toward a More Complete Alloy / Timothy Nelson, Daniel J. Dougherty, Kathi Fisler and Shriram Krishnamurthi -- Temporal Logic Model Checking in Alloy / Amirhossein Vakili and Nancy A. Day -- Active Attacking Multicast Key Management Protocol Using Alloy / Ting Wang and Dongyao Ji -- Formalizing Hybrid Systems with Event-B / Jean-Raymond Abrial, Wen Su and Huibiao Zhu -- SMT Solvers for Rodin / David Déharbe, Pascal Fontaine, Yoann Guyot and Laurent Voisin -- Refinement Plans for Informed Formal Design / Gudmund Grov, Andrew Ireland and Maria Teresa Llano -- Refinement by Interface Instantiation / Stefan Hallerstede and Thai Son Hoang -- Discharging Proof Obligations from Atelier B Using Multiple Automated Provers / David Mentré, Claude Marché, Jean-Christophe Filliâtre and Masashi Asuka -- A Semantic Analysis of Logics That Cope with Partial Terms / Cliff B. Jones, Matthew J. Lovert and L. Jason Steggles -- Combining VDM with Executable Code / Claus Ballegaard Nielsen, Kenneth Lausdahl and Peter Gorm Larsen -- Extending the Test Template Framework to Deal with Axiomatic Descriptions, Quantifiers and Set Comprehensions / Maximiliano Cristiá and Claudia Frydman -- A Tool Chain for the Automatic Generation of Circus Specifications of Simulink Diagrams / Chris Marriott, Frank Zeyda and Ana Cavalcanti -- Verification of Hardware Interaction Properties of Software / Ramsay Taylor -- Using the Arbitrator Pattern for Dynamic Process-Instance Extension in a Work-Flow Management System / Matthes Elstermann, Detlef Seese and Albert Fleischmann -- A Unified Processor Model for Compiler Verification and Simulation Using ASM / Roland Lezuo and Andreas Krall -- Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs / Andrea Luzzana, Mattia Rossetti, Paolo Righettini and Patrizia Scandurra -- A Reliability Prediction Method for Abstract State Machines / Raffaela Mirandola, Pasqualina Potena and Patrizia Scandurra -- A Simplified Parallel ASM Thesis / Klaus-Dieter Schewe and Qing Wang -- Refactoring Abstract State Machine Models / Hamed Yaghoubi Shahir, Roozbeh Farahbod and Uwe Glässer -- Continuous Behaviour in Event-B: A Sketch / Richard Banach, Huibiao Zhu, Wen Su and Xiaofeng Wu -- Formal Verification of PLC Programs Using the B Method / Haniel Barbosa and David Déharbe -- A Practical Event-B Refinement Method Based on a UML-Driven Development Process / Thiago C. de Sousa, Paulo Sérgio Muniz Silva and Colin F. Snook -- Learn and Test for Event-B -- A Rodin Plugin / Ionut Dinca, Florentin Ipate, Laurentiu Mierla and Alin Stefanescu -- Event-B Code Generation: Type Extension with Theories / Andrew Edmunds, Michael Butler, Issam Maamria, Renato Silva and Chris Lovell -- Formal Proofs for the NYCT Line 7 (Flushing) Modernization Project / Denis Sabatier, Lilian Burdy, Antoine Requet and Jérôme Guéry -- A Pattern for Modelling Fault Tolerant Systems in Event-B / Gintautas Sulskus and Michael Poppleton.
Record Nr.	UNISA-996465312903316

Edizione	[1st ed. 2010.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
Descrizione fisica	1 online resource (154 p. 70 illus.)
Disciplina	006.3
Collana	Lecture Notes in Artificial Intelligence
Soggetto topico	Artificial intelligence Computer communication systems Computer science—Mathematics Algorithms Computer simulation Computer organization Artificial Intelligence Computer Communication Networks Discrete Mathematics in Computer Science Algorithm Analysis and Problem Complexity Simulation and Modeling Computer Systems Organization and Communication Networks
ISBN	1-280-38572-3 9786613563644 3-642-11814-3
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Abstraction and Generalization in Reinforcement Learning: A Summary and Framework -- The Effects of Evolved Sociability in a Commons Dilemma -- Replicator Dynamics for Multi-agent Learning: An Orthogonal Approach -- Decentralized Learning in Wireless Sensor Networks -- Recursive Adaptation of Stepsize Parameter for Non-stationary Environments -- Multiagent Reinforcement Learning Model for the Emergence of Common Property and Transhumance in Sub-Saharan Africa -- Learning to Locate Trading Partners in Agent Networks -- Coordinating Learning Agents for Multiple Resource Job Scheduling.
Record Nr.	UNISA-996465644403316

Edizione	[1st ed. 2005.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005
Descrizione fisica	1 online resource (X, 190 p.)
Disciplina	005.8
Collana	Security and Cryptology
Soggetto topico	Data encryption (Computer science) Algorithms Computer science—Mathematics Cryptology Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation Discrete Mathematics in Computer Science
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Cryptanalytic Attacks and Related Results -- The Cryptanalysis of the AES – A Brief Survey -- The Boomerang Attack on 5 and 6-Round Reduced AES -- A Three Rounds Property of the AES -- DFA on AES -- Refined Analysis of Bounds Related to Linear and Differential Cryptanalysis for the AES -- Algebraic Attacks and Related Results -- Some Algebraic Aspects of the Advanced Encryption Standard -- General Principles of Algebraic Attacks and New Design Criteria for Cipher Components -- An Algebraic Interpretation of 128 -- Hardware Implementations -- Efficient AES Implementations on ASICs and FPGAs -- Small Size, Low Power, Side Channel-Immune AES Coprocessor: Design and Synthesis Results -- Other Topics -- Complementation-Like and Cyclic Properties of AES Round Functions -- More Dual Rijndaels -- Representations and Rijndael Descriptions -- Linearity of the AES Key Schedule -- The Inverse S-Box, Non-linear Polynomial Relations and Cryptanalysis of Block Ciphers.
Record Nr.	UNISA-996465822403316

Edizione	[1st ed. 2007.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007
Descrizione fisica	1 online resource (XIX, 772 p.)
Disciplina	004.35
Collana	Theoretical Computer Science and General Issues
Soggetto topico	Software engineering Computer engineering Computer networks Computers Algorithms Numerical analysis Computer science—Mathematics Discrete mathematics Software Engineering Computer Engineering and Networks Computer Hardware Numerical Analysis Discrete Mathematics in Computer Science
ISBN	3-540-76837-8
Classificazione	004 DAT 250f SS 4800
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Invited Talks -- Session 1 – Advanced Microprocessor Architecture -- Session 2 – Parallel Distributed System Architectures -- Session 3 – Grid Computing -- Session 4 – Interconnection Networks -- Session 5 – Network Protocols -- Session 6 – Pervasive and Mobile Computing Architectures -- Session 7 – Task Scheduling and Load Balancing -- Session 8 – Software Engineering -- Session 8 – Other Issues.
Record Nr.	UNISA-996465520703316

Edizione	[1st ed. 2003.]
Pubbl/distr/stampa	Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003
Descrizione fisica	1 online resource (XIV, 678 p.)
Disciplina	004.35
Collana	Lecture Notes in Computer Science
Soggetto topico	Software engineering Computer hardware Computer organization Algorithms Numerical analysis Computer science—Mathematics Software Engineering/Programming and Operating Systems Computer Hardware Computer Systems Organization and Communication Networks Algorithm Analysis and Problem Complexity Numeric Computing Discrete Mathematics in Computer Science
ISBN	3-540-39425-7
Formato	Materiale a stampa
Livello bibliografico	Monografia
Lingua di pubblicazione	eng
Nota di contenuto	Architecture -- Using Split Queues to Improve the Performance of Parallel Switch -- LEAP: A Data Driven Loop Engine on Array Processor -- A New Architecture of a Fast Floating-Point Multiplier -- A Highly Efficient FC-SAN Based on Load Stream -- A New High-Performance Distributed Shared I/O System -- IA64 Oriented OpenMP Compiler: Design and Implementation of Fortran Front End -- An Alternative Superscalar Architecture with Integer Execution Units Only -- A High Efficiency Distributed Mutual Exclusion Algorithm -- The Security Architecture of the Java Operating System JX – A Security Architecture for Distributed Parallel Computing -- Simultaneous Multithreading Trace Processors -- A VLSI Architecture Design of 1-D DWT -- Overcoming Static Register Pressure for Software Pipelining in the Itanium Architecture -- Separating Data Storage, Data Computation, and Resource Management One from Another in Operating Systems -- A High Performance Design and Implementation of the Virtual Interface Architecture -- A Portable Debugger for PVM / MPI Programs on IA64 Cluster -- Optimization of Asynchronous Volume Replication Protocol -- Predicate Analysis Based on Path Information -- kd-Clos: New No-Blocking Permutation Network -- LilyTask: A Task-Oriented Parallel Computation Model -- A Method of Data Assignment on Heterogeneous Disk System -- Apply Aggregate I/O to Improve Performance of Network Storage Based on IP -- Orthogonal Design Method for Optimal Cache Configuration -- A Probabilistically Correct Election Protocol in Asynchronous Distributed Systems -- Software and Theory -- A Formal Specification and Method for MAS as a Distributed System -- Optimal Fixed Priority Assignment with Limited Priority Levels -- A Proof Assistant for Mobile Processes -- Data Space Fusion Based Approach for Effective Alignment of Computation and Data -- Optimization Parameter Selection by Means of Limited Execution and Genetic Algorithms -- Study on CORBA-Based Load Balance Algorithm -- Parallel Algorithm for Mining Maximal Frequent Patterns -- Design of Cluster Safe File System -- Graph Scaling: A Technique for Automating Program Construction and Deployment in ClusterGOP -- Pattern Classification with Parallel Processing of the Cellular Neural Networks-Based Dynamic Programming -- An Effective Molecular Algorithm for Solving the Satisfiability Problem -- Scheduling Outages in Distributed Environments -- An Improved Parallel Algorithm for Certain Toeplitz Cyclic Tridiagonal Systems on Distributed-Memory Multicomputer -- Generic Programming for Scientific Computing in C++, JavaTM, and C# -- A General Metric of Load Balancing in ?-Range -- Lattice Boltzmann Simulations of Fluid Flows -- Grid and Network -- Design and Research of Strong-Mobile Agent Based Grid’s Architecture -- A Cost-Based Online Scheduling Algorithm for Job Assignment on Computational Grids -- Composition and Automation of Grid Services -- Algorithmic Skeletons for Metacomputing -- Grid Services Performance Tuning in OGSA -- A Transaction Model for Grid Computing -- An Overview of Research on QoS Routing -- A Novel Model and Architecture on NMS – Dynamically Constructed Network Management -- QoS-Driven Multicast Tree Generation Using Genetic Algorithm -- A Scalable Peer-to-Peer Network with Constant Degree -- Symmetric Distributed Server Architecture for Network Management System -- A Distributed Network Management Framework Based on NGI -- Performance Evaluation of Scheme Integrating Mobile IP and NHRP over ATM Networks -- Improving Availability of P2P Storage Systems -- Research and Implementation of Dynamic Web Services Composition -- Call Admission Control for Multimedia CDMA Networks under Imperfect Power Control -- Efficient Data Consistency Schemes in 2-Tier Cellular Networks -- iHOPE: An Intelligent Handoff Protocol for Seamless Multimedia Service in Wireless Network -- Content and Cell Based Predictive Routing (CCPR) Protocol for Mobile Ad Hoc Networks -- A Multiple Access Scheme Using Split and Merge Algorithm for Contention/Reservation-Based Wireless MAC Protocols -- Applied Technologies -- Reconfigurable Cipher Processing Framework and Implementation -- A Dynamic Reconfiguration Platform Based on Distributed Component Technology CCM -- TMO-Based Object Group Framework for Supporting Distributed Object Management and Real-Time Services -- Extendable and Interchangeable Architecture Description of Distributed Systems Using UML and XML -- Dynamics in Hierarchical CSCW Systems -- The Tenure Duty Method (TDM) in the Active Incident Recovery Research -- A Combined Continuous-Time/Discrete-Event Computation Model for Heterogeneous Simulation Systems -- Information Geometry on Modular and Hierarchical Neural Network -- A Novel Speed-Up Algorithm of Fractal Image Compression -- Implementation and Evaluation of a Novel Parallel SAR Imaging Method on Clustering Systems -- Shape Registration Based on Modified Chain Codes -- A Distributed Parallel Resampling Algorithm for Large Images -- Collaborative Supervision of Machine Vision Systems: Breaking a Sequential Bottleneck in the Supervised Learning Process -- Parallel Storing and Querying XML Documents Using Relational DBMS -- A Variable Consistent Server Replication Model for Mobile Database -- Multi-scheduler Concurrency Control for Parallel Database Systems -- Optimal Broadcast Channel for Data Dissemination in Mobile Database Environment -- Global System Image Architecture for Cluster Computing.
Record Nr.	UNISA-996465796703316