Paolo Ciancarini
Università di Bologna, Computer Science, Faculty Member
- Computer Science, (Multi-) Agent Technology, AI Planning (Artificial Intelligence), Software Evolution, Computational Intelligence, Distributed Computing, and 5 moreFormal methods, Embedded Systems, Entertainment Computing, Software Engineering, and Coordination Languages(Formal methods, Embedded Systems, Entertainment Computing, Software Engineering, and Coordination Languages)edit
The use of the World Wide Web as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z... more
The use of the World Wide Web as a communication medium for knowledge engineers and software designers is limited by the lack of tools for writing, sharing, and verifying documents written with design notations. For instance, the Z language has a rich set of mathematical characters, and requires graphic-rich boxes and schemas for structuring a specification document. It is difficult to integrate Z specifications and text on WWW pages written with HTML, and traditional tools are not suited for the task. On the other hand, a ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests: Software Engineering, Computational Geometry, Real Time Computing, Process Control, Group Theory, and 20 moreProgram Analysis, Constraint Programming, Domain Theory, Air traffic control, Distributed Processing, Real Time Systems, Algorithm Design, Formal Verification, Interval arithmetic, Aspect Oriented Programming, Real Time, Constraints, Boolean Satisfiability, Euclidean Geometry, Embedded Computing, System performance, Database System, Genome Mapping, Programming language, and Software Performance(Program Analysis, Constraint Programming, Domain Theory, Air traffic control, Distributed Processing, Real Time Systems, Algorithm Design, Formal Verification, Interval arithmetic, Aspect Oriented Programming, Real Time, Constraints, Boolean Satisfiability, Euclidean Geometry, Embedded Computing, System performance, Database System, Genome Mapping, Programming language, and Software Performance)
(Program Analysis, Constraint Programming, Domain Theory, Air traffic control, Distributed Processing, Real Time Systems, Algorithm Design, Formal Verification, Interval arithmetic, Aspect Oriented Programming, Real Time, Constraints, Boolean Satisfiability, Euclidean Geometry, Embedded Computing, System performance, Database System, Genome Mapping, Programming language, and Software Performance)
Research Interests:
Research Interests:
ABSTRACT1 Despite much research work in progress to model the different facets of software process enactment from different approaches, there are no models yet generally recognized as adequate, and there is need for more experimentation.... more
ABSTRACT1 Despite much research work in progress to model the different facets of software process enactment from different approaches, there are no models yet generally recognized as adequate, and there is need for more experimentation. We describe the Oikos ...
Research Interests:
Research Interests:
Machines Jean-Marc Andreoli, Paolo Ciancarini and Remo Pareschi European Computer Industry Research Centre Abstract In this paper, we introduce the metaphor of Interaction Abstract Machines (IAMs), in the same vein of such metaphors as... more
Machines Jean-Marc Andreoli, Paolo Ciancarini and Remo Pareschi European Computer Industry Research Centre Abstract In this paper, we introduce the metaphor of Interaction Abstract Machines (IAMs), in the same vein of such metaphors as the Chemical Abstract Machine. The main ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests: Emotion, Computer Science, Software Engineering, Personality, Evolutionary Computation, and 36 moreAccess Control, Software Architecture, Negotiation, Practical Reasoning, Distributed System, Learning, Tools and Techniques, Intelligent Agent, Multi Agent System, Planning, Software Agents, Agent Oriented Software Engineering, Protocols, Security Requirements, Multi Agent Systems, Policy Management, Knowledge Engineering, Load Balancing, Security Policy, Reuse, Operational Semantics, Evolutionary Computing, Dynamic Logic, Agent BAsed System, Domain Specificity, Multi Domain, Security Model, Network Topology, Load Balance, Plans, Large Scale, Decision Maker, Programming language, Software Complexity, Communication Service, and Application Software(Access Control, Software Architecture, Negotiation, Practical Reasoning, Distributed System, Learning, Tools and Techniques, Intelligent Agent, Multi Agent System, Planning, Software Agents, Agent Oriented Software Engineering, Protocols, Security Requirements, Multi Agent Systems, Policy Management, Knowledge Engineering, Load Balancing, Security Policy, Reuse, Operational Semantics, Evolutionary Computing, Dynamic Logic, Agent BAsed System, Domain Specificity, Multi Domain, Security Model, Network Topology, Load Balance, Plans, Large Scale, Decision Maker, Programming language, Software Complexity, Communication Service, and Application Software)
(Access Control, Software Architecture, Negotiation, Practical Reasoning, Distributed System, Learning, Tools and Techniques, Intelligent Agent, Multi Agent System, Planning, Software Agents, Agent Oriented Software Engineering, Protocols, Security Requirements, Multi Agent Systems, Policy Management, Knowledge Engineering, Load Balancing, Security Policy, Reuse, Operational Semantics, Evolutionary Computing, Dynamic Logic, Agent BAsed System, Domain Specificity, Multi Domain, Security Model, Network Topology, Load Balance, Plans, Large Scale, Decision Maker, Programming language, Software Complexity, Communication Service, and Application Software)
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests: Agent()
()
Research Interests:
- Proc. Int. Conf. on Coordination Languages, LNCS 1061/1282/1561/1906 - Proc. 30th, 31st and 32nd HICSS Conferences, Minitrack on Coordination - Proc. IEEE WETICE 1996-2001, Tracks on Coordination - Proc. ACM SAC 1998-2001, Tracks on... more
- Proc. Int. Conf. on Coordination Languages, LNCS 1061/1282/1561/1906 - Proc. 30th, 31st and 32nd HICSS Conferences, Minitrack on Coordination - Proc. IEEE WETICE 1996-2001, Tracks on Coordination - Proc. ACM SAC 1998-2001, Tracks on Coordination - Special Issues in ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests: ICSE()
()
Research Interests:
ABSTRACT The concept of coordination language has been recently introduced by Carrier0 and Gelemter to designate a class of programming languages suitable for describing the behavior of open systems composed of a dynamic collection of... more
ABSTRACT The concept of coordination language has been recently introduced by Carrier0 and Gelemter to designate a class of programming languages suitable for describing the behavior of open systems composed of a dynamic collection of asynchronous, parallel, and ...
Research Interests:
Research Interests:
Research Interests:
The technology of languages for programming distributed systems is still in its infancy. Most real distributed systems are being programmed using libraries of low-level communication constructs, often directly inherited from the operating... more
The technology of languages for programming distributed systems is still in its infancy. Most real distributed systems are being programmed using libraries of low-level communication constructs, often directly inherited from the operating system level. High-level distributed ...
Research Interests:
Research Interests:
Abstract In the linking model of the World Wide Web each link is stored in the referring document within an attribute of the A tag. All the hyperlink defined this way can reference a single resource or a single fragment. With the... more
Abstract In the linking model of the World Wide Web each link is stored in the referring document within an attribute of the A tag. All the hyperlink defined this way can reference a single resource or a single fragment. With the evolution of Web technologies more powerful linking languages (XLink and XPointer) have been proposed. Here we introduce XLinkProxy, a Web application that allows sophisticated hyperlink (defined using XLink and XPointer) to be defined outside referring documents, giving users the chance to build ...
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Research Interests:
Abstract In this paper we study the relationship between Linda programming and parallel logic programming. We define PoliSpaces (PoliS) as an extension of Linda with Multiple "ru-ple Spaces. PollS is introduced as a framework for... more
Abstract In this paper we study the relationship between Linda programming and parallel logic programming. We define PoliSpaces (PoliS) as an extension of Linda with Multiple "ru-ple Spaces. PollS is introduced as a framework for designing multiparadigm systems, ie, ...
Research Interests:
The distinct features that characterize Shared Prolog with respect to other parallel (logic) languages are: scheduling of agents and granularity of parallelism explicitly controlled; Prolog embedded in the language; intrinsic modularity;... more
The distinct features that characterize Shared Prolog with respect to other parallel (logic) languages are: scheduling of agents and granularity of parallelism explicitly controlled; Prolog embedded in the language; intrinsic modularity; associative send/receive of messages among ...