Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta
| Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 458 p.) |
| Disciplina | 005.115 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Artificial intelligence Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Techniques Artificial Intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Classificazione | 54.51 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction -- Abduction of Linear Arithmetic Constraints -- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded Semantics with Disjunction -- Semantics of Framed Temporal Logic Programs -- Practical Higher-Order Pattern Unification with On-the-Fly Raising -- Small Proof Witnesses for LF -- A Type System for CHR -- Decision Support for Personalization on Mobile Devices -- A Generic Framework for the Analysis and Specialization of Logic Programs -- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic -- Modeling Systems in CLP -- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics -- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling -- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process -- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for Traffic Characterization -- Open World Reasoning in Datalog -- Optimizing Queries for Heterogeneous Information Sources -- Denotational Semantics Using Horn Concurrent Transaction Logic -- Gentra4cp: A Generic Trace Format for Constraint Programming -- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis -- Concurrent Methodologies for Global Optimization -- A Temporal Programming Language for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral Consortium -- Analysis and Optimization of CHR Programs. |
| Record Nr. | UNINA-9910483058903321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta
| Logic Programming [[electronic resource] ] : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings / / edited by Maurizio Gabbrielli, Gopal Gupta |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XIV, 458 p.) |
| Disciplina | 005.115 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Artificial intelligence Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Techniques Artificial Intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | OWL: A Description Logic Based Ontology Language -- Preference Reasoning -- The G12 Project: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) -- Towards an Integration of Answer Set and Constraint Solving -- A Comparison of CLP(FD) and ASP Solutions to NP-Complete Problems -- Guard and Continuation Optimization for Occurrence Representations of CHR -- Coordination of Many Agents -- Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis -- An Optimised Semantic Web Query Language Implementation in Prolog -- A Distributed and Probabilistic Concurrent Constraint Programming Language -- HYPROLOG: A New Logic Programming Language with Assumptions and Abduction -- Abduction of Linear Arithmetic Constraints -- Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming -- Hybrid Probabilistic Logic Programs with Non-monotonic Negation -- Reducing Inductive Definitions to Propositional Satisfiability -- Symbolic Support Graph: A Space Efficient Data Structure for Incremental Tabled Evaluation -- Dynamic Mixed-Strategy Evaluation of Tabled Logic Programs -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre-interpretations -- Deductive Multi-valued Model Checking -- Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs -- Testing for Termination with Monotonicity Constraints -- A Well-Founded Semantics with Disjunction -- Semantics of Framed Temporal Logic Programs -- Practical Higher-Order Pattern Unification with On-the-Fly Raising -- Small Proof Witnesses for LF -- A Type System for CHR -- Decision Support for Personalization on Mobile Devices -- A Generic Framework for the Analysis and Specialization of Logic Programs -- The Need for Ancestor Resolution When Answering Queries in Horn Clause Logic -- Modeling Systems in CLP -- A Sufficient Condition for Strong Equivalence Under the Well-Founded Semantics -- IMPACT: Innovative Models for Prolog with Advanced Control and Tabling -- Using CLP to Characterise Linguistic Lattice Boundaries in a Text Mining Process -- Hybridization of Genetic Algorithms and Constraint Propagation for the BACP -- The MYDDAS Project: Using a Deductive Database for Traffic Characterization -- Open World Reasoning in Datalog -- Optimizing Queries for Heterogeneous Information Sources -- Denotational Semantics Using Horn Concurrent Transaction Logic -- Gentra4cp: A Generic Trace Format for Constraint Programming -- Analyses, Optimizations and Extensions of Constraint Handling Rules: Ph.D. Summary -- Formalization and Verification of Interaction Protocols -- -LTL for Constraint-Based Security Protocol Analysis -- Concurrent Methodologies for Global Optimization -- A Temporal Programming Language for Heterogeneous Information Systems -- Nonmonotonic Logic Programs for the Semantic Web -- ICLP 2005 Doctoral Consortium -- Analysis and Optimization of CHR Programs. |
| Record Nr. | UNISA-996466221903316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming [[electronic resource] ] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / / edited by Bart Demoen, Vladimir Lifschitz
| Logic Programming [[electronic resource] ] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / / edited by Bart Demoen, Vladimir Lifschitz |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 484 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Artificial intelligence Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Techniques Artificial Intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN |
9783540277757
3-540-27775-7 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Termination by Abstraction -- Answer Set Programming and the Design of Deliberative Agents -- Regular Talks -- Abstract Domains Based on Regular Types -- Termination of Logic Programs Using Various Dynamic Selection Rules -- Improving Prolog Programs: Refactoring for Prolog -- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP -- The Refined Operational Semantics of Constraint Handling Rules -- Compiling Ask Constraints -- Constraint Handling Rules and Tabled Execution -- Possible Worlds Semantics for Probabilistic Logic Programs -- Limiting Resolution: From Foundations to Implementation -- Generalised Kernel Sets for Inverse Entailment -- On Programs with Linearly Ordered Multiple Preferences -- Splitting an Operator -- Simplifying Logic Programs Under Answer Set Semantics -- On Acyclic and Head-Cycle Free Nested Logic Programs -- Fast Query Evaluation with (Lazy) Control Flow Compilation -- Speculative Computations in Or-Parallel Tabled Logic Programs -- ?Prolog: A Logic Programming Language with Names, Binding and ?-Equivalence -- Implementation Results in Classical Constructive Negation -- On Hybridization of Local Search and Constraint Propagation -- Arc-Consistency + Unit Propagation = Lookahead -- The period Constraint -- Non-viability Deductions in Arc-Consistency Computation -- Compiling Prioritized Circumscription into Answer Set Programming -- Enhancing the Magic-Set Method for Disjunctive Datalog Programs -- Rectilinear Steiner Tree Construction Using Answer Set Programming -- Adding Domain Dependent Knowledge into Answer Set Programs for Planning -- Multi-agent Coordination as Distributed Logic Programming -- Logic Programs with Annotated Disjunctions -- Poster Presentations -- Abstract Interpretation-Based Mobile Code Certification -- Labeled Logic Programs -- Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web -- Protein Folding Simulation in CCP -- Applying CLP to Predict Extra-Functional Properties of Component-Based Models -- Main Results of the OADymPPaC Project -- FDBG, the CLP Debugger Library of SICStus Prolog -- Development of Semantic Debuggers Based on Refinement Calculus -- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer -- Grid Service Selection with PPDL -- Concurrent Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic Programming -- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing -- Constraint-Based Synchronization and Verification of Distributed Java Programs -- JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR -- Agent Oriented Logic Programming Constructs in Jinni 2004. |
| Record Nr. | UNISA-996465420403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logic Programming [[electronic resource] ] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / / edited by Bart Demoen, Vladimir Lifschitz
| Logic Programming [[electronic resource] ] : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings / / edited by Bart Demoen, Vladimir Lifschitz |
| Edizione | [1st ed. 2004.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
| Descrizione fisica | 1 online resource (XII, 484 p.) |
| Disciplina | 005.1/15 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Software engineering
Computer programming Artificial intelligence Programming languages (Electronic computers) Computer logic Mathematical logic Software Engineering/Programming and Operating Systems Programming Techniques Artificial Intelligence Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN |
9783540277757
3-540-27775-7 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- Termination by Abstraction -- Answer Set Programming and the Design of Deliberative Agents -- Regular Talks -- Abstract Domains Based on Regular Types -- Termination of Logic Programs Using Various Dynamic Selection Rules -- Improving Prolog Programs: Refactoring for Prolog -- Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP -- The Refined Operational Semantics of Constraint Handling Rules -- Compiling Ask Constraints -- Constraint Handling Rules and Tabled Execution -- Possible Worlds Semantics for Probabilistic Logic Programs -- Limiting Resolution: From Foundations to Implementation -- Generalised Kernel Sets for Inverse Entailment -- On Programs with Linearly Ordered Multiple Preferences -- Splitting an Operator -- Simplifying Logic Programs Under Answer Set Semantics -- On Acyclic and Head-Cycle Free Nested Logic Programs -- Fast Query Evaluation with (Lazy) Control Flow Compilation -- Speculative Computations in Or-Parallel Tabled Logic Programs -- ?Prolog: A Logic Programming Language with Names, Binding and ?-Equivalence -- Implementation Results in Classical Constructive Negation -- On Hybridization of Local Search and Constraint Propagation -- Arc-Consistency + Unit Propagation = Lookahead -- The period Constraint -- Non-viability Deductions in Arc-Consistency Computation -- Compiling Prioritized Circumscription into Answer Set Programming -- Enhancing the Magic-Set Method for Disjunctive Datalog Programs -- Rectilinear Steiner Tree Construction Using Answer Set Programming -- Adding Domain Dependent Knowledge into Answer Set Programs for Planning -- Multi-agent Coordination as Distributed Logic Programming -- Logic Programs with Annotated Disjunctions -- Poster Presentations -- Abstract Interpretation-Based Mobile Code Certification -- Labeled Logic Programs -- Xcerpt and XChange – Logic Programming Languages for Querying and Evolution on the Web -- Protein Folding Simulation in CCP -- Applying CLP to Predict Extra-Functional Properties of Component-Based Models -- Main Results of the OADymPPaC Project -- FDBG, the CLP Debugger Library of SICStus Prolog -- Development of Semantic Debuggers Based on Refinement Calculus -- A Tracer Driver to Enable Debugging, Monitoring and Visualization of CLP Executions from a Single Tracer -- Grid Service Selection with PPDL -- Concurrent Constraint Programming and Tree–Based Acoustic Modelling -- MProlog: An Extension of Prolog for Modal Logic Programming -- Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing -- Constraint-Based Synchronization and Verification of Distributed Java Programs -- JmmSolve: A Generative Java Memory Model Implemented in Prolog and CHR -- Agent Oriented Logic Programming Constructs in Jinni 2004. |
| Record Nr. | UNINA-9910144167403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Perspectives in Conceptual Modeling [[electronic resource] ] : ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings / / edited by Jacky Akoka, Stephen W. Liddle, Il-Yeol Song, Michela Bertolotto, Isabelle Comyn-Wattiau, Willem-Jan v.d. Heuvel, Manuel Kolp, Christian Kop, Heinrich C. Mayr
| Perspectives in Conceptual Modeling [[electronic resource] ] : ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings / / edited by Jacky Akoka, Stephen W. Liddle, Il-Yeol Song, Michela Bertolotto, Isabelle Comyn-Wattiau, Willem-Jan v.d. Heuvel, Manuel Kolp, Christian Kop, Heinrich C. Mayr |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXII, 480 p.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Computer simulation Application software Database management Information storage and retrieval Artificial intelligence Software Engineering/Programming and Operating Systems Simulation and Modeling Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Artificial Intelligence |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | First International Workshop on Best Practices of UML (BP-UML 2005) -- Preface to BP-UML 2005 -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams -- Utilizing a Multimedia UML Framework for an Image Database Application -- Model Evaluation and Requirements Modeling -- Object Class or Association Class? Testing the User Effect on Cardinality Interpretation -- Organizing and Managing Use Cases -- A Comparative Analysis of Use Case Relationships -- Metamodeling and Model Driven Development -- Applying Transformations to Model Driven Development of Web Applications -- A Precise Approach for the Analysis of the UML Models Consistency -- A UML 2 Profile for Business Process Modelling -- Seventh International Bi-conference Workshop on Agent-Oriented Information Systems (AOIS-2005) -- Preface to AOIS 2005 -- Invited Talk -- Agent Oriented Data Integration -- Positions in Engineering Agent Oriented Systems -- AOSE and Organic Computing – How Can They Benefit from Each Other? Position Paper -- Modeling Dynamic Engineering Design Processes in PSI -- Agent Oriented Methodologies and Conceptual Modeling -- Preliminary Basis for an Ontology-Based Methodological Approach for Multi-agent Systems -- DDEMAS: A Domain Design Technique for Multi-agent Domain Engineering -- An Agent-Oriented Meta-model for Enterprise Modelling -- Agent Communication and Coordination -- An Approach to Broaden the Semantic Coverage of ACL Speech Acts -- Normative Pragmatics for Agent Communication Languages -- Experimental Comparison of Rational Choice Theory, Norm and Rights Based Multi Agent Systems -- Second International Workshop on Conceptual Modeling for Geographic Information Systems (CoMoGIS 2005) -- Preface to CoMoGIS 2005 -- Invited Talk -- Map Algebra Extended with Functors for Temporal Data -- Spatial and Spatio-temporal Data Representation -- A Formal Model for Representing Point Trajectories in Two-Dimensional Spaces -- A Logical Approach for Modeling Spatio-temporal Objects and Events -- Conceptual Neighbourhood Diagrams for Representing Moving Objects -- Spatial Relations -- A Refined Line-Line Spatial Relationship Model for Spatial Conflict Detection -- Assessing Topological Consistency for Collapse Operation in Generalization of Spatial Databases -- Spatial Relations for Semantic Similarity Measurement -- Spatial Queries, Analysis and Data Mining -- Approximate Continuous K Nearest Neighbor Queries for Continuous Moving Objects with Pre-defined Paths -- Spatio-temporal Similarity Analysis Between Trajectories on Road Networks -- Using Data Mining for Modeling Personalized Maps -- Data Modeling and Visualisation -- 3D Scene Modeling for Activity Detection -- SAMATS – Edge Highlighting and Intersection Rating Explained -- Applying Semantic Web Technologies for Geodata Integration and Visualization -- Sixth International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO 2005) -- Preface to eCOMO 2005 -- Bargaining in E-Business Systems -- Conceptual Content Management for Enterprise Web Services -- Verifying Web Services Composition -- Towards Amplifying Business Process Reuse -- First International Workshop on Quality of Information Systems (QoIS 2005) -- Preface to QoIS 2005 -- Information System Models Quality -- Measuring the Perceived Semantic Quality of Information Models -- Situated Support for Choice of Representation for a Semantic Web Application -- Towards Systematic Model Assessment -- A Fuzzy Based Approach to Measure Completeness of an Entity-Relationship Model -- Quality Driven Processes -- Managing Information Quality in e-Science: A Case Study in Proteomics -- Tool Support and Specification Quality: Experimental Validation of an RE-Tool Evaluation Framework -- Improving Object-Oriented Micro Architectural Design Through Knowledge Systematization -- Tutorials -- Tutorial 1: eduWeaver – The Courseware Modeling Tool -- Tutorial 2: FOOM – Functional and Object Oriented Methodology: An Integrated Approach -- Tutorial 3: Domain Engineering – Using Domain Concepts to Guide Software Design -- Tutorial 4: Reasoning About Web Information Systems -- Tutorial 5: Schema and Data Translation -- Tutorial 6: Modeling and Simulation of Dynamic Engineering Design Processes -- Tutorial 7: Modeling Enterprise Applications. |
| Record Nr. | UNISA-996466216503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Perspectives in Conceptual Modeling [[electronic resource] ] : ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings / / edited by Jacky Akoka, Stephen W. Liddle, Il-Yeol Song, Michela Bertolotto, Isabelle Comyn-Wattiau, Willem-Jan v.d. Heuvel, Manuel Kolp, Christian Kop, Heinrich C. Mayr
| Perspectives in Conceptual Modeling [[electronic resource] ] : ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings / / edited by Jacky Akoka, Stephen W. Liddle, Il-Yeol Song, Michela Bertolotto, Isabelle Comyn-Wattiau, Willem-Jan v.d. Heuvel, Manuel Kolp, Christian Kop, Heinrich C. Mayr |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XXII, 480 p.) |
| Disciplina | 005.74 |
| Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
| Soggetto topico |
Software engineering
Computer simulation Application software Database management Information storage and retrieval Artificial intelligence Software Engineering/Programming and Operating Systems Simulation and Modeling Information Systems Applications (incl. Internet) Database Management Information Storage and Retrieval Artificial Intelligence |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | First International Workshop on Best Practices of UML (BP-UML 2005) -- Preface to BP-UML 2005 -- Experience Reports and new Applications -- Current Practices in the Use of UML -- An Empirical Study of the Nesting Level of Composite States Within UML Statechart Diagrams -- Utilizing a Multimedia UML Framework for an Image Database Application -- Model Evaluation and Requirements Modeling -- Object Class or Association Class? Testing the User Effect on Cardinality Interpretation -- Organizing and Managing Use Cases -- A Comparative Analysis of Use Case Relationships -- Metamodeling and Model Driven Development -- Applying Transformations to Model Driven Development of Web Applications -- A Precise Approach for the Analysis of the UML Models Consistency -- A UML 2 Profile for Business Process Modelling -- Seventh International Bi-conference Workshop on Agent-Oriented Information Systems (AOIS-2005) -- Preface to AOIS 2005 -- Invited Talk -- Agent Oriented Data Integration -- Positions in Engineering Agent Oriented Systems -- AOSE and Organic Computing – How Can They Benefit from Each Other? Position Paper -- Modeling Dynamic Engineering Design Processes in PSI -- Agent Oriented Methodologies and Conceptual Modeling -- Preliminary Basis for an Ontology-Based Methodological Approach for Multi-agent Systems -- DDEMAS: A Domain Design Technique for Multi-agent Domain Engineering -- An Agent-Oriented Meta-model for Enterprise Modelling -- Agent Communication and Coordination -- An Approach to Broaden the Semantic Coverage of ACL Speech Acts -- Normative Pragmatics for Agent Communication Languages -- Experimental Comparison of Rational Choice Theory, Norm and Rights Based Multi Agent Systems -- Second International Workshop on Conceptual Modeling for Geographic Information Systems (CoMoGIS 2005) -- Preface to CoMoGIS 2005 -- Invited Talk -- Map Algebra Extended with Functors for Temporal Data -- Spatial and Spatio-temporal Data Representation -- A Formal Model for Representing Point Trajectories in Two-Dimensional Spaces -- A Logical Approach for Modeling Spatio-temporal Objects and Events -- Conceptual Neighbourhood Diagrams for Representing Moving Objects -- Spatial Relations -- A Refined Line-Line Spatial Relationship Model for Spatial Conflict Detection -- Assessing Topological Consistency for Collapse Operation in Generalization of Spatial Databases -- Spatial Relations for Semantic Similarity Measurement -- Spatial Queries, Analysis and Data Mining -- Approximate Continuous K Nearest Neighbor Queries for Continuous Moving Objects with Pre-defined Paths -- Spatio-temporal Similarity Analysis Between Trajectories on Road Networks -- Using Data Mining for Modeling Personalized Maps -- Data Modeling and Visualisation -- 3D Scene Modeling for Activity Detection -- SAMATS – Edge Highlighting and Intersection Rating Explained -- Applying Semantic Web Technologies for Geodata Integration and Visualization -- Sixth International Workshop on Conceptual Modeling Approaches for e-Business (eCOMO 2005) -- Preface to eCOMO 2005 -- Bargaining in E-Business Systems -- Conceptual Content Management for Enterprise Web Services -- Verifying Web Services Composition -- Towards Amplifying Business Process Reuse -- First International Workshop on Quality of Information Systems (QoIS 2005) -- Preface to QoIS 2005 -- Information System Models Quality -- Measuring the Perceived Semantic Quality of Information Models -- Situated Support for Choice of Representation for a Semantic Web Application -- Towards Systematic Model Assessment -- A Fuzzy Based Approach to Measure Completeness of an Entity-Relationship Model -- Quality Driven Processes -- Managing Information Quality in e-Science: A Case Study in Proteomics -- Tool Support and Specification Quality: Experimental Validation of an RE-Tool Evaluation Framework -- Improving Object-Oriented Micro Architectural Design Through Knowledge Systematization -- Tutorials -- Tutorial 1: eduWeaver – The Courseware Modeling Tool -- Tutorial 2: FOOM – Functional and Object Oriented Methodology: An Integrated Approach -- Tutorial 3: Domain Engineering – Using Domain Concepts to Guide Software Design -- Tutorial 4: Reasoning About Web Information Systems -- Tutorial 5: Schema and Data Translation -- Tutorial 6: Modeling and Simulation of Dynamic Engineering Design Processes -- Tutorial 7: Modeling Enterprise Applications. |
| Record Nr. | UNINA-9910483684103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Professional ASP.NET 3.5 in CA< [[electronic resource] /] / Bill Evjen, Scott Hanselman, Devin Rader
| Professional ASP.NET 3.5 in CA< [[electronic resource] /] / Bill Evjen, Scott Hanselman, Devin Rader |
| Autore | Evjen Bill |
| Pubbl/distr/stampa | Indianapolis, IN, : Wiley Pub., c2008 |
| Descrizione fisica | 1 online resource (1730 p.) |
| Disciplina |
005.276
006.76 |
| Altri autori (Persone) |
HanselmanScott
RaderDevin <1976-> |
| Collana | Wrox professional guides |
| Soggetto topico |
Internet programming
Microsoft .NET Web site development |
| ISBN |
1-118-05931-X
1-281-45048-0 9786611450489 0-470-38918-4 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Professional ASP.NET 3.5 in C# and VB; About the Authors; Credits; Acknowledgments; Contents; Introduction; Chapter 1: Application and Page Frameworks; Chapter 2: ASP.NET Server Controls and Client-Side Scripts; Chapter 3: ASP.NET Web Server Controls; Chapter 4: Validation Server Controls; Chapter 5: Working with Master Pages; Chapter 6: Themes and Skins; Chapter 7: Data Binding in ASP.NET 3.5; Chapter 8: Data Management with ADO.NET; Chapter 9: Querying with LINQ; Chapter 10: Working with XML and LINQ to XML; Chapter 11: IIS7; Chapter 12: Introduction to the Provider Model
Chapter 13: Extending the Provider ModelChapter 14: Site Navigation; Chapter 15: Personalization; Chapter 16: Membership and Role Management; Chapter 17: Portal Frameworks and Web Parts; Chapter 18: HTML and CSS Design with ASP.NET; Chapter 19: ASP.NET AJAX; Chapter 20: ASP.NET AJAX Control Toolkit; Chapter 21: Security; Chapter 22: State Management; Chapter 23: Caching; Chapter 24: Debugging and Error Handling; Chapter 25: File I/O and Streams; Chapter 26: User and Server Controls; Chapter 27: Modules and Handlers; Chapter 28: Using Business Objects Chapter 29: Building and Consuming ServicesChapter 30: Localization; Chapter 31: Configuration; Chapter 32: Instrumentation; Chapter 33: Administration and Management; Chapter 34: Packaging and Deploying ASP.NET Applications; Appendix A: Migrating Older ASP.NET Projects; Appendix B: ASP.NET Ultimate Tools; Appendix C: Silverlight; Appendix D: ASP.NET Online Resources; Index |
| Record Nr. | UNINA-9910782158103321 |
Evjen Bill
|
||
| Indianapolis, IN, : Wiley Pub., c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Professional ASP.NET 3.5 in CA< / / Bill Evjen, Scott Hanselman, Devin Rader
| Professional ASP.NET 3.5 in CA< / / Bill Evjen, Scott Hanselman, Devin Rader |
| Autore | Evjen Bill |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Indianapolis, IN : , : Wiley Pub., , c2008 |
| Descrizione fisica | 1 online resource (1730 pages) |
| Disciplina |
005.276
006.76 |
| Altri autori (Persone) |
HanselmanScott
RaderDevin <1976-> |
| Collana | Wrox professional guides. |
| Soggetto topico |
Internet programming
Microsoft .NET Framework Web site development |
| ISBN |
1-118-05931-X
1-281-45048-0 9786611450489 0-470-38918-4 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Professional ASP.NET 3.5 in C# and VB; About the Authors; Credits; Acknowledgments; Contents; Introduction; Chapter 1: Application and Page Frameworks; Chapter 2: ASP.NET Server Controls and Client-Side Scripts; Chapter 3: ASP.NET Web Server Controls; Chapter 4: Validation Server Controls; Chapter 5: Working with Master Pages; Chapter 6: Themes and Skins; Chapter 7: Data Binding in ASP.NET 3.5; Chapter 8: Data Management with ADO.NET; Chapter 9: Querying with LINQ; Chapter 10: Working with XML and LINQ to XML; Chapter 11: IIS7; Chapter 12: Introduction to the Provider Model
Chapter 13: Extending the Provider ModelChapter 14: Site Navigation; Chapter 15: Personalization; Chapter 16: Membership and Role Management; Chapter 17: Portal Frameworks and Web Parts; Chapter 18: HTML and CSS Design with ASP.NET; Chapter 19: ASP.NET AJAX; Chapter 20: ASP.NET AJAX Control Toolkit; Chapter 21: Security; Chapter 22: State Management; Chapter 23: Caching; Chapter 24: Debugging and Error Handling; Chapter 25: File I/O and Streams; Chapter 26: User and Server Controls; Chapter 27: Modules and Handlers; Chapter 28: Using Business Objects Chapter 29: Building and Consuming ServicesChapter 30: Localization; Chapter 31: Configuration; Chapter 32: Instrumentation; Chapter 33: Administration and Management; Chapter 34: Packaging and Deploying ASP.NET Applications; Appendix A: Migrating Older ASP.NET Projects; Appendix B: ASP.NET Ultimate Tools; Appendix C: Silverlight; Appendix D: ASP.NET Online Resources; Index |
| Record Nr. | UNINA-9910816635203321 |
|
Evjen Bill
|
||
| Indianapolis, IN : , : Wiley Pub., , c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra
| Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVII, 342 p.) |
| Disciplina | 005.43 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Parallel computers |
| ISBN | 3-540-87475-5 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Next Frontier -- Fault Tolerance for PetaScale Systems: Current Knowledge, Challenges and Opportunities -- Managing Multicore with OpenMP (Extended Abstract) -- MPI Must Evolve or Die -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine: The Unibus System -- Tutorial -- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach -- Outstanding Papers -- Non-data-communication Overheads in MPI: Analysis on Blue Gene/P -- Architecture of the Component Collective Messaging Interface -- X-SRQ - Improving Scalability and Performance of Multi-core InfiniBand Clusters -- A Software Tool for Accurate Estimation of Parameters of Heterogeneous Communication Models -- Applications -- Sparse Non-blocking Collectives in Quantum Mechanical Calculations -- Dynamic Load Balancing on Dedicated Heterogeneous Systems -- Communication Optimization for Medical Image Reconstruction Algorithms -- Collective Operations -- A Simple, Pipelined Algorithm for Large, Irregular All-gather Problems -- MPI Reduction Operations for Sparse Floating-point Data -- Library Internals -- A Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message Passing for Multi-core and Mutlithreaded Architectures -- Toward Efficient Support for Multithreaded MPI Communication -- MPI Support for Multi-core Architectures: Optimized Shared Memory Collectives -- MPI Datatypes -- Constructing MPI Input-output Datatypes for Efficient Transpacking -- Object-Oriented Message-Passing in Heterogeneous Environments -- MPI I/O -- Implementation and Evaluation of an MPI-IO Interface for GPFS in ROMIO -- Self-consistent MPI-IO Performance Requirements and Expectations -- Synchronisation Issues in Point-to-Point and One-Sided Communications -- Performance Issues of Synchronisation in the MPI-2 One-Sided Communication API -- Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication -- Tools -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software -- ParSim -- 7th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008) -- LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes -- Using Arithmetic Coding for Reduction of Resulting Simulation Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation of Large Subduction Earthquakes -- Posters Abstracts -- Vis-OOMPI: Visual Tool for Automatic Code Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes -- A Framework for Proving Correctness of Adjoint Message-Passing Programs -- A Compact Computing Environment for a Windows Cluster: Giving Hints and Assisting Job Execution -- to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network -- Efficient Collective Communication Paradigms for Hyperspectral Imaging Algorithms Using HeteroMPI -- An MPI-Based System for Testing Multiprocessor and Cluster Communications -- MPI in Wireless Sensor Networks -- Erratum -- Dynamic Load Balancing on Dedicated Heterogeneous Systems. |
| Record Nr. | UNISA-996465521303316 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra
| Recent advances in parallel virtual machine and message passing interface : 15th european pvm/mpi users' group meeting, dublin, ireland, september 7-10, 2008, proceedings / / edited by Alexey Lastovetsky, Tahar Kechadi, Jack Dongarra |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (XVII, 342 p.) |
| Disciplina | 005.43 |
| Collana | Programming and Software Engineering |
| Soggetto topico | Parallel computers |
| ISBN | 3-540-87475-5 |
| Classificazione | 54.51 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- The Next Frontier -- Fault Tolerance for PetaScale Systems: Current Knowledge, Challenges and Opportunities -- Managing Multicore with OpenMP (Extended Abstract) -- MPI Must Evolve or Die -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine: The Unibus System -- Tutorial -- EuroPVM/MPI Full-Day Tutorial. Using MPI-2: A Problem-Based Approach -- Outstanding Papers -- Non-data-communication Overheads in MPI: Analysis on Blue Gene/P -- Architecture of the Component Collective Messaging Interface -- X-SRQ - Improving Scalability and Performance of Multi-core InfiniBand Clusters -- A Software Tool for Accurate Estimation of Parameters of Heterogeneous Communication Models -- Applications -- Sparse Non-blocking Collectives in Quantum Mechanical Calculations -- Dynamic Load Balancing on Dedicated Heterogeneous Systems -- Communication Optimization for Medical Image Reconstruction Algorithms -- Collective Operations -- A Simple, Pipelined Algorithm for Large, Irregular All-gather Problems -- MPI Reduction Operations for Sparse Floating-point Data -- Library Internals -- A Prototype Implementation of MPI for SMARTMAP -- Gravel: A Communication Library to Fast Path MPI -- Message Passing for Multi-core and Mutlithreaded Architectures -- Toward Efficient Support for Multithreaded MPI Communication -- MPI Support for Multi-core Architectures: Optimized Shared Memory Collectives -- MPI Datatypes -- Constructing MPI Input-output Datatypes for Efficient Transpacking -- Object-Oriented Message-Passing in Heterogeneous Environments -- MPI I/O -- Implementation and Evaluation of an MPI-IO Interface for GPFS in ROMIO -- Self-consistent MPI-IO Performance Requirements and Expectations -- Synchronisation Issues in Point-to-Point and One-Sided Communications -- Performance Issues of Synchronisation in the MPI-2 One-Sided Communication API -- Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication -- Tools -- On the Performance of Transparent MPI Piggyback Messages -- Internal Timer Synchronization for Parallel Event Tracing -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution Engine -- MPIBlib: Benchmarking MPI Communications for Parallel Computing on Homogeneous and Heterogeneous Clusters -- Verification of Message Passing Programs -- Visual Debugging of MPI Applications -- Implementing Efficient Dynamic Formal Verification Methods for MPI Programs -- ValiPVM - A Graphical Tool for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software -- ParSim -- 7th International Special Session on Current Trends in Numerical Simulation for Parallel Engineering Environments: New Directions and Work-in-Progress (ParSim 2008) -- LibGeoDecomp: A Grid-Enabled Library for Geometric Decomposition Codes -- Using Arithmetic Coding for Reduction of Resulting Simulation Data Size on Massively Parallel GPGPUs -- Benchmark Study of a 3d Parallel Code for the Propagation of Large Subduction Earthquakes -- Posters Abstracts -- Vis-OOMPI: Visual Tool for Automatic Code Generation Based on C++/OOMPI -- A Framework for Deploying Self-predefined MPI Communicators and Attributes -- A Framework for Proving Correctness of Adjoint Message-Passing Programs -- A Compact Computing Environment for a Windows Cluster: Giving Hints and Assisting Job Execution -- to Acceleration for MPI Derived Datatypes Using an Enhancer of Memory and Network -- Efficient Collective Communication Paradigms for Hyperspectral Imaging Algorithms Using HeteroMPI -- An MPI-Based System for Testing Multiprocessor and Cluster Communications -- MPI in Wireless Sensor Networks -- Erratum -- Dynamic Load Balancing on Dedicated Heterogeneous Systems. |
| Record Nr. | UNINA-9910768445803321 |
| Berlin, Germany : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
