Coordination Languages and Models [[electronic resource] ] : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / / edited by Antonio Porto, Gruia-Catalin Roman |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (IX, 355 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Computer communication systems Computers Artificial intelligence Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Computation by Abstract Devices Software Engineering Artificial Intelligence |
ISBN | 3-540-45263-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces -- Scripting Coordination Styles -- Coordination Technology for Workflows on the Web: Workspaces -- Regular Papers -- A Principled Semantics for inp -- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces -- On Timed Coordination Languages -- Regular Papers -- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach -- Distributed Splitting of Constraint Satisfaction Problems -- Law-Governed Internet Communities -- Regular Papers -- Reconfiguration of Software Architecture Styles with Name Mobility -- An Agent Mediated Approach to Dynamic Change in Coordination Policies -- Coordination Models for Dynamic Resource Allocation -- Regular Papers -- MobileML: A Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents Coordination in Mobadtl -- Regular Papers -- A Logical Interface Description Language for Components -- A Formalization of the IWIM Model -- GCCS: A Graphical Coordination Language for System Specification -- Short papers -- A Timed Linda Language -- The LuCe Coordination Technology for MAS Design and Development on the Internet -- Scoped Coordination in Open Distributed Systems -- Short papers -- Patterns for Coordination -- Coordination Models and Software Architectures in a Unified Software Development Process -- Wilde: Supporting Change in Groupware -- Short papers -- On the Verification of Coordination -- Guaranteing Coherent Software Systems when Composing Coordinated Components -- Coordination-Based Design of Distributed Systems. |
Record Nr. | UNISA-996465388603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Coordination Languages and Models : 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings / / edited by Antonio Porto, Gruia-Catalin Roman |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (IX, 355 p.) |
Disciplina | 004/.35 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computer programming
Software engineering Computer communication systems Computers Artificial intelligence Programming Techniques Software Engineering/Programming and Operating Systems Computer Communication Networks Computation by Abstract Devices Software Engineering Artificial Intelligence |
ISBN | 3-540-45263-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Papers -- OpenSpaces: An Object-Oriented Framework for Reconfigurable Coordination Spaces -- Scripting Coordination Styles -- Coordination Technology for Workflows on the Web: Workspaces -- Regular Papers -- A Principled Semantics for inp -- Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces -- On Timed Coordination Languages -- Regular Papers -- Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach -- Distributed Splitting of Constraint Satisfaction Problems -- Law-Governed Internet Communities -- Regular Papers -- Reconfiguration of Software Architecture Styles with Name Mobility -- An Agent Mediated Approach to Dynamic Change in Coordination Policies -- Coordination Models for Dynamic Resource Allocation -- Regular Papers -- MobileML: A Programming Language for Mobile Computation -- Hybrid Models for Mobile Computing -- Mobile Agents Coordination in Mobadtl -- Regular Papers -- A Logical Interface Description Language for Components -- A Formalization of the IWIM Model -- GCCS: A Graphical Coordination Language for System Specification -- Short papers -- A Timed Linda Language -- The LuCe Coordination Technology for MAS Design and Development on the Internet -- Scoped Coordination in Open Distributed Systems -- Short papers -- Patterns for Coordination -- Coordination Models and Software Architectures in a Unified Software Development Process -- Wilde: Supporting Change in Groupware -- Short papers -- On the Verification of Coordination -- Guaranteing Coherent Software Systems when Composing Coordinated Components -- Coordination-Based Design of Distributed Systems. |
Record Nr. | UNINA-9910143619903321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
EPIA'91 [[electronic resource] ] : 5th Portuguese Conference on Artificial Intelligence, Albufeira, Portugal, October 1-3, 1991. Proceedings / / edited by Pedro Barahona, Luis Moniz Pereira, Antonio Porto |
Edizione | [1st ed. 1991.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 |
Descrizione fisica | 1 online resource (X, 298 p.) |
Disciplina | 006.3 |
Collana | Lecture Notes in Artificial Intelligence |
Soggetto topico |
Artificial intelligence
Artificial Intelligence |
ISBN | 3-540-38459-6 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Solving linear constraints on finite domains through parsing -- Constraint solving in finite domains under user control -- A new method for solving linear constraints on the natural numbers -- A constraint-based fuzzy inference system -- A constraint-based language for querying taxonomic systems -- Heuristic parsing and search space pruning -- Wave-shaping in multiprocessor bidirectional heuristic state space search -- The extended stable models of contradiction removal semantics -- Modeling a rational cognitive agent in SNePS -- Semantics of property inheritance in a hierarchic system with explicit negation -- Time in confluences: Dealing with delays for consistency-checking -- A temporal representation for imperatively structured plans of actions -- Maximal intervals: An approach to temporal reasoning -- Consistency driven planning -- An efficient approach to planning in assembly tasks -- Towards a theory of the repair process -- Declarative source debugging -- A neural approach to data compression and classification -- Generalization for a propositional calculus: a constraints-based approach -- Adaptive learning using a qualitative feedback loop. |
Record Nr. | UNISA-996465277503316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1991 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|