|
TY - JOUR ID - Langen.ea:06 T1 - Design space exploration revisited A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. JA - AIEDAM, Special Issue on Design Spaces Y1 - 2006 VL - 20 IS - 2 SP - 113 EP - 119 N2 - Design involves reasoning about descriptions of design artefacts, reasoning about design requirements and reasoning about design process objectives (such as keeping to deadlines and available budget). Reasoning about these three aspects occurs during exploration, generation and evaluation of partial design descriptions. Design space exploration involves exploration in all three related spaces: the space of partial descriptions of design artefacts, the space of design requirements, and the space of design process objectives. These spaces are vast. Explicit representation of the relations between elements in these three spaces provides the additional information needed to understand and reuse descriptions of partial design process traces, and to guide design exploration. Woodbury and Burrow (2005) describe one of these spaces, namely the space of design object descriptions, as a network of partial and intentional descriptions of design artefacts. The links between partial descriptions represent paths in design processes. Making the information compiled in these paths of exploration explicit, as proposed in this paper, extends the approach described by Woodbury and Burrow, increasing options for accessibility. ER - TY - JOUR ID - Mobach.ea:06 T1 - A WS -Agreement Based Resource Negotiation Framework for Mobile Agents A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. JA - Scalable Computing: Practice and Experience Y1 - 2006 VL - 7 IS - 1 SP - 23 EP - 36 N2 - Mobile agents require access to computing resources on heterogeneous systems across the Internet. They need to be able to negotiate their requirements with the systems on which they wish to be hosted. This paper presents a negotiation infrastructure with which agents acquire time- limited resource contracts through negotiation with one or more mediators instead of individual hosting systems. Mediators represent groups of autonomous hosts. The negotiation protocol and language are based on the WS-Agreement Specification, and have been implemented and tested within the AgentScape framework. ER - TY - CONF ID - Haydarlou.ea:06*1 T1 - Multi-Level Model-Based Self-Diagnosis of Distributed Object-Oriented Systems A1 - Haydarlou, A. R. A1 - Overeinder, B. J. A1 - Oey, M. A. A1 - Brazier, F. M. T. TI - Proceedings of the 3rd IFIP International Conference on Autonomic and Trusted Computing (ATC-06) Y1 - 2006/9 KW - Semantic Web KW - Self-Management N2 - Self-healing relies on correct diagnosis of system malfunctioning. \linebreak This paper presents a use-case based approach to self-diagnosis. Both a static and a dynamic model of a managed-system are distinguished with explicit functional, implementational, and operational knowledge of specific use-cases. This knowledge is used to define sensors to detect and localise anomalies at the same three levels, providing the input needed to perform informed diagnosis. The models presented can be used to automatically instrument existing distributed legacy systems. ER - TY - CONF ID - Groot.ea:06*1 T1 - Identity Management in Agent Systems A1 - de Groot, D. R. A. A1 - Brazier, F. M. T. ED - Foukia, N. ED - Seigneur, J. ED - Purvis, M TI - Proceedings of the 1st International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE) at the Fif th International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS-06) Y1 - 2006 SP - 23 EP - 34 T2 - Future University CY - Hakodate, Japan KW - Identity Management KW - Agent Identity KW - Agent Platforms KW - Security N2 - If agent-based applications are to be used in large scale, open environments, security is a main issue; digital identity management (DIDM) an essential element. DIDM is needed to be able to determine the rights and obligations of the four main computational entities in such systems: agent platforms, hosts, agents, and services. The framework for evaluation of DIDM in agent systems proposed in this paper is based on four aspects of DIDM: representation, confidentiality, integrity and availability. Two agent platforms (JADE-S and AgentScape) are used to illustrate the potential of this framework. ER - TY - CONF ID - Ogston:06 T1 - An Analysis of Interest Community Facilitated P2P Search A1 - Ogston, E. TI - Fifth International Workshop on Agents and Peer-to-Peer Computing (AP2PC) Y1 - 2006 ER - TY - CONF ID - Ogston.ea:06 T1 - Musings Upon the Theme of Peer-to-Peer Search A1 - Ogston, E. A1 - Iwanicki, K. A1 - van Steen, M. TI - Twelfth Annual Conference of the Advanced School for Computing and Imaging (ASCI) Y1 - 2006 SP - 362 EP - 368 ER - TY - CONF ID - Ogston.ea:06*1 T1 - On the Value of Random Opinions in Decentralized Recommendation A1 - Ogston, E. A1 - Bakker, A. A1 - van Steen, M. TI - Proceedings of the 6th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS) T3 - LNCS Y1 - 2006 VL - 4025 SP - 84 EP - 98 PB - Springer Berlin ER - TY - GEN ID - Apistola.ea:06 T1 - Secure ACCESS to the Digital Dossier A1 - Apistola, M. A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Oskamp, A. Y1 - 2006/5 ER - TY - GEN ID - Warnier.ea:06*1 T1 - Agents in Court A1 - Warnier, M. A1 - Apistola, M. A1 - de Groot, D. R. A. A1 - Brazier, F. M. T. A1 - Oskamp, A. Y1 - 2006/5 ER - TY - GEN ID - Overeinder.ea:0 T1 - Distributing and Retrieving Data with Authentication A1 - Overeinder, B. J. A1 - van Schouwen, R A1 - Oey, M. A. A1 - Ogston, E. A1 - Brazier, F. M. T. Y1 - 2006/5 ER - TY - GEN ID - Mobach.ea:06*1 T1 - Bidding for Resources---Without the Hassle? A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Ogston, E. A1 - Brazier, F. M. T. Y1 - 2006/5 ER - TY - CHAP ID - Richards.ea:05 T1 - Composing Web Services using an Agent Factory A1 - Richards, D. A1 - van Splunter, S. A1 - Brazier, F. M. T. A1 - Sabou, M. T3 - Multiagent Systems, Artificial Societies, and Simulated Organiza Y1 - 2005/4 VL - 13 M1 - Inbook SP - 229 EP - 252 PB - Springer N1 - Previously published in: Proceedings of AAMAS Workshop on Web Services and Agent-Based Engineering(WSABE), Melbourne, Australia, 2003, pp. 57-66 KW - web service configuration ER - TY - CHAP ID - Brazier.ea:05 T1 - Chapter 40: Vrije Universiteit Amsterdam A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Clarkson, P. John ED - Eckert, Claudia. M. Y1 - 2005 M1 - Inbook SP - 546 EP - 549 U2 - Chapter: 40 PB - Springer AD - http://www-edc.eng.cam.ac.uk/designprocessbook/ SN - 1-85233-701-X N1 - Description of Design research at IIDS Group. ER - TY - CONF ID - Mobach.ea:05 T1 - Lease-based Decentralized Resource Management in Open Multi-Agent Systems A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Marin, O. A1 - Brazier, F. M. T. TI - Proceedings of the 18th International FLAIRS Conference Y1 - 2005/5 SP - 339 EP - 344 N1 - extended version of the EUMAS'04 paper KW - middleware KW - resource management ER - TY - CONF ID - Mobach.ea:05*1 T1 - A Resource Negotiation Infrastructure for Self-Managing Applications A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Proceedings of the 2nd IEEE International Conference on Autonomic Computing (ICAC 2005) Y1 - 2005/6 SP - 381 EP - 382 PB - IEEE AD - Seatle, WA KW - resource management KW - negotiation KW - self-management ER - TY - CONF ID - Splunter.ea:05 T1 - The Role of Local Knowledge in Complex Web Service Reconfiguration A1 - van Splunter, S. A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. TI - Proceedings of the 2005 IEEE/WIC International Conference on Web Intelligence (WI 2005), Compiegne, France Y1 - 2005/9 SP - 495 EP - 499 PB - IEEE AD - Seatle, WA KW - web service configuration N2 - As the number of web services in repositories on the World Wide Web increases so will the number of complex configurations of web services. However, as the World Wide Web is dynamic, web services will come and go, temporarily or for good. As a result, complex web service configurations will need to be reconfigured on demand. To this purpose, complex web service configurations need to include local knowledge about (1) the function, structure and behaviour of each component in a configuration, and (2) the dependencies between components at each level of composition. Templates are proposed as a means to represent such knowledge. To illustrate the process of reconfiguration, an example is given of reconfiguration of a complex web service, for which a template is used specifying both types of local knowledge. ER - TY - CONF ID - Groot.ea:05 T1 - Issues in a Mobile Agent-based Multimedia Retrieval Scenario A1 - de Groot, D. R. A. A1 - Boonk, M. L. A1 - Brazier, F. M. T. A1 - Oskamp, A. TI - Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005) Y1 - 2005/6 SP - 33 EP - 43 KW - legal KW - security KW - issues KW - mobile KW - agent KW - scenario N2 - Mobile agents traverse the Internet, often on behalf of their users. Intelligent search agents access dynamic information in heterogeneous environments. The legal implications of the use of agents in such situations are not fully understood. In this paper a scenario in which a mobile agent searches a multimedia database on behalf of its user, is used to illustrate the legal and technical issues involved. Requirements related to identity management, integrity, traceability and availability are identified and discussed in the context of existing technology. ER - TY - CONF ID - Boonk.ea:05 T1 - Agent Exclusion on Websites A1 - Boonk, M. L. A1 - de Groot, D. R. A. A1 - Brazier, F. M. T. A1 - Oskamp, A. TI - Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005) Y1 - 2005/6 SP - 13 EP - 20 KW - legal aspects KW - intelligent search agents KW - exclusion clause KW - websites N2 - This paper focuses on legal aspects of intelligent search agents, with respect to the status of exclusion clauses often found on websites. These clauses were initially meant to stop search bots from websites that are not meant for public access. It is a question whether these clauses also hold for intelligent search agents. ER - TY - CONF ID - Groot.ea:05*1 T1 - Issues in a Mobile Agent-based Multimedia Retrieval Scenario A1 - de Groot, D. R. A. A1 - Boonk, M. L. A1 - Brazier, F. M. T. A1 - Oskamp, A. ED - Gleizes, M. TI - Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS'05) Y1 - 2005/12 SP - 103 EP - 113 N1 - revised version of the LEA 2005 paper ER - TY - CONF ID - Mobach.ea:05*2 T1 - A Two-tiered Model of Negotiation Based on Web Service Agreements A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. A1 - Dignum, F. TI - Proceedings of the Third European Workshop on Multi-Agent Systems (EUMAS'05) Y1 - 2005/12 SP - 202 EP - 213 ER - TY - CONF ID - Haydarlou.ea:05*1 T1 - A Self-Healing Approach for Object-Oriented Applications A1 - Haydarlou, A. R. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Proceedings of the 3rd International Workshop on Self-Adaptive and Autonomic Computing Systems (SAACS 05) Y1 - 2005/8 KW - self-management KW - self-healing ER - TY - CONF ID - Groot.ea:05*2 T1 - Issues in a Mobile Agent-based Multimedia Retrieval Scenario A1 - de Groot, D. R. A. A1 - Boonk, M. L. A1 - Brazier, F. M. T. A1 - Oskamp, A. ED - Verbeeck, K. ED - Tuyls, K. ED - Nowe, A. ED - Manderick, B ED - Kuijpers, B. TI - Proceedings of the Seventeenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'05), Brussels, Belgium Y1 - 2005/10 SP - 337 EP - 338 N1 - This is an extended abstract of the arcticle in Proceedings of The 4th Workshop on the Law and Electronic Agents (LEA 2005) ER - TY - THES ID - Ogston:05 T1 - Agent Based Matchmaking and Clustering - A Decentralized Approach to Search A1 - Ogston, E. Y1 - 2005/4 M1 - Phdthesis T2 - Vrije Universiteit Amsterdam ER - TY - RPRT ID - Storchi:05 T1 - Het controleren van het digitale dossier op volledigheid met behulp van software agenten A1 - Storchi, L. Y1 - 2005/9 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: prof.dr. F.M.T. Brazier & drs. S. van Splunter, Second examiner: prof.dr. A. Oskamp. ER - TY - RPRT ID - Ogston.ea:05 T1 - Data Clustering by Large-Scale Adaptive Agent Systems A1 - Ogston, E. A1 - van Steen, M. A1 - Brazier, F. M. T. A1 - Overeinder, B. J. Y1 - 2005/4 M1 - Techreport IS - IR-CS-014 T2 - Vrije Universiteit Amsterdam KW - decentralized clustering ER - TY - GEN ID - Splunter.ea:05* T1 - Automated template based web service re-configuration A1 - van Splunter, S. A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. Y1 - 2005/10 N2 - The World Wide Web is dynamic, web services come and go, temporarily or for good. This also holds for web service configurations: configurations of web services composed to fulfill more complex tasks. Unless .... complex web service configurations can be reconfigured on demand. The goal of our research is to develop a fully automated configuration service designed specifically for this purpose: to adapt to change. Our approach is template based. Each template describes a single level composition of one of more abstract, annotated web services, their input and output behaviour, and the conditions for activation of these abstract web services. The abstract web services themselves, may likewise be composed of one or more other abstract web services. Function, structure and behaviour can be depicted at the level at which it is most appropriate in the composition, by using local specified knowledge defined in templates on these properties. The current implementation of this system uses OWL-S annotation in addition to the standard SOAP annotations to support web portal software configuration. ER - TY - GEN ID - Mobach.ea:05*3 T1 - A Resource Negotiation Infrastructure for Self-Managing Applications A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. Y1 - 2005/10 ER - TY - GEN ID - Groot.ea:05*3 T1 - Mobile Agent-based Multimedia Retrieval: a Case for agents? A1 - de Groot, D. R. A. A1 - Boonk, M. L. A1 - Brazier, F. M. T. A1 - Oskamp, A. Y1 - 2005/10 N2 - Mobile agents traverse the Internet, often on behalf of their users, moving to different sites with different characteristics. Mobile intelligent search agents traverse the Internet with the specific goal of accessing information. The sites they access are heterogeneous, often dynamic. Identity and integrity management, traceability and availability are major issues in this context. Liability, anonymity, and intellectual property are clearly related. These issues are discussed in the context of multimedia database search on behalf of users. The important technological and legal questions and implications related to this example are identified and discussed, in particular those related to underlying technology. Note: Related research will be pursued together with the Rechtbank Amsterdam in the context of the ACCESS ToKen project to start in October. ER - TY - GEN ID - haydarlou.ea:06*2 T1 - Are Self-Healing CoWS in your future? A1 - Haydarlou, A. R. A1 - van Splunter, S. A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. Y1 - 2006/5 N1 - Poster presentation at System Administration and Network Engineering (SANE) '06 N2 - Cows are animals composed of a complex variety of organs, limbs, and other internals. When a cow gets older, its body degrades, which causes the animal to exhibit odd behaviour or, in the worst case, die. The same can be said about configurations of (web) services (with the acronym CoWS): they may contain complex sub-compositions, using services from a variety of suppliers and servers. These complex configurations can function perfectly well at design time, but when the configuration exists for a longer period of time, problems may arise. Servers and connections can go down, suppliers may come and go, and services can be updated or changed. In the dynamic environment of the Internet, chances are that at some point in the future a created configuration of web services will malfunction or not function at all. More and more human skills are required to install, configure, tune, and maintain complex systems composed of a variety of components operating in large-scale distributed heterogeneous environments. When facing system malfunctions and system outages, manually determining the root cause of software runtime failures in such complex systems is hindered by the lack of appropriate system logs. Ideally, automated support would be able to recognise and solve a large portion of these failures without human help. This would require these systems to be self-aware, know when and where an error state occurs, analyse the problem situation, make healing plans, and suggest various solutions to the system administrator or heal themselves without human intervention. To this end, a model-based self-healing framework has been designed. At the highest level two modules are distinguished: a managed-system and an autonomic-manager. The managed-system can be any existing distributed system that has been extended with sensors. Sensors provide runtime information from the running system to the autonomic-manager and a selection of sensors can be inserted in the managed system by automation, based on the system model. The system model specifies the structure, functionality and expected behaviour of the managed system, and is used to (a) detect unexpected behaviour, and (b) evaluate possible reconfigurations and its consequences. The autonomic-manager consists of two modules: (1) a diagnosis module, and (2) an adaptation module. The diagnosis module monitors system behaviour, analyses unexpected behaviour, and if possible, determines a diagnosis. The adaptation module is responsible for resolving the abnormal behaviour (i.e. reconfiguration). To enable self-healing (1) the running system needs to be able to be structured, as components and connectors; (2) a (partial) model of expected behaviour needs to be devised: the structures need to be annotated, specifying the functionality, kind of structure, and expected behaviour (both correct and erroneous); (3) a library of healing plans is needed (in the case of using re-configuration a library of reusable components/structures), which also need to be annotated (e.g., comparable with having backup services running)); (4) the interoperability between structures needs to be standardised, or explicitly defined, to allow automated integration of sensors, and automated integration of changes in the service composition. This approach has been successfully applied to web service reconfiguration, and is currently being applied to legacy trading systems (i.e. distributed object oriented legacy systems) within a financial organisation. ER - TY - CONF ID - Groot.ea:06*2 T1 - Identity Management in Agent Systems A1 - de Groot, D. R. A. A1 - Brazier, F. M. T. ED - Schobbens, P. Y. ED - Vanhoof, W. ED - Schwanen, G. TI - Proceedings of the Eighteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'06) Y1 - 2006/10 SP - 381 EP - 382 PB - University of Namur T2 - University of Namur CY - Namur, Belgium N1 - This is an compressed contribution based on the paper published earlier in the Proceedings of the First International Workshop on Privacy and Security in Agent-based Collaborative Environments (PSACE) N2 - If agent-based applications are to be used in large scale, open environments, security is a main issue; digital identity management (DIDM) an essential element. DIDM is needed to be able to determine the rights and obligations of the four main computational entities in such systems: agent platforms, hosts, agents, and services. The framework for evaluation of DIDM in agent systems proposed in this paper is based on four aspects of DIDM: representation, confidentiality, integrity and availability. Two agent platforms (JADE-S and AgentScape) are used to illustrate the potential of this framework. ER - TY - RPRT ID - schouwen:06 T1 - Design and Implementation of a Secure, Decentralized Location Service for Agent Platforms A1 - van Schouwen, R Y1 - 2006/8 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam ER - TY - RPRT ID - maraikar:06 T1 - Resource and Service Discovery for Mobile Agent Platforms A1 - Maraikar, Z. Y1 - 2006/8 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam ER - TY - RPRT ID - timmer:05 T1 - An Efficient Implementation of the Agent Operating System A1 - Timmer, R. J. Y1 - 2005/8 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam ER - TY - GEN ID - haydarlo.ea:05*2 T1 - A Reflective Framework for Self-Management of Applications and Middleware A1 - Haydarlou, A. R. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. Y1 - 2005/10 N1 - Poster presentation at SIREN Scientific ICT Research Event Netherlands 2005 N2 - Today's increasingly complex systems, composed of a variety of components, operating in large-scale distributed heterogeneous environments, require more and more human skills to install, configure, tune, and maintain. Determining the root cause of runtime failures, configuration errors, or reduced performance and scalability, for example, in such complex systems is hindered by the lack of appropriate diagnostic feedback to human users: system logs are the only information available. Automated support would clearly be seen as beneficial to both the user, in this example, the system administrator and the organisations in which they are used. A reflective framework for self-management of applications and middleware is being developed to reduce the cost and complexity of such systems. Such self-managing systems are self-aware: they know when and where an error state occurs, they have adequate knowledge to stabilize the system as a whole, they are able to analyze the problem from different perspectives, and can devise a strategy with which the problem can be solved, c.q. the system healed. The result is that a system can, in the end, reconfigure or heal itself given its knowledge of the problem and possible solutions, or suggest various solutions to a human user, in the example domain currently being pursued, the system administrator. In our approach, explicit reflective knowledge is essential: reflective agents are pivotal, they represent the processes involved. Reflective agents are capable of reasoning not only about their external environment, but also about their own behavior and other agents behavior at different meta-levels. In our framework reflective agents are associated with middleware services, applications, middleware/application components, and constituent classes for diagnosis and repair at the appropriate level. ER - TY - JOUR ID - Brazier.ea:04 T1 - Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation A1 - Brazier, F. M. T. A1 - Cornelissen, F. A1 - Gustavsson, R. A1 - Jonker, C. M. A1 - Lindeberg, O. A1 - Polak, B. A1 - Treur, J. JA - Journal of Applied Intelligence Y1 - 2004 VL - 20 SP - 95 EP - 117 ER - TY - JOUR ID - Wijngaards.ea:04 T1 - The Role of Trust in Distributed Design A1 - Wijngaards, N. J. E. A1 - Boonstra, H. M. A1 - Brazier, F. M. T. ED - Brazier, F. M. T. ED - Gero, J. S. JA - AIEDAM, Special Issue on Intelligent Agents in Design. Y1 - 2004/5 SP - 199 EP - 209 N2 - Automated support of design teams, consisting of both human and automated systems, requires an understanding of the role of trust in distributed design processes. By explicitating trust, an individual designer's decisions become better understood and may be better supported. Each individual designer has his or her private goals in a co-operative design setting, in which requirement conflicts and resource competitions abound. There are, however, also group goals that also need to be reached. This paper presents (1) an overview of research related to trust in the context of agents and design, (2) a computational knowledge-level model of trust based on the seven beliefs distinguished by Castelfranchi and Falcone (2000); and (3) an example of the use of the trust model in a specific design process, namely website design from the perspective of a single designer. The results are discussed in the context of distributed design in open systems. ER - TY - JOUR ID - Langen.ea:04 T1 - Designing Creative Artificial Systems A1 - van Langen, P. H. G. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. ED - Duffy, A. H. B. ED - Brazier, F. M. T. JA - AIEDAM, Special Issue on Learning and Creativity in Design Y1 - 2004 VL - 18 IS - 4 SP - 217 EP - 225 N2 - Can artificial systems be creative? Can they be designed to be creative on their own? And what are the requirements of such creative artificial systems? To be able to support humans who are expected to deliver creative solutions, or to automate part of their tasks, this paper presents a proposal for creativity requirements that provide a basis for designing creative artificial systems. ER - TY - JOUR ID - Brazier.ea:04*1 T1 - Law-Abiding & Integrity on the Internet: a Case for Agents A1 - Brazier, F. M. T. A1 - Oskamp, A. A1 - Prins, J. E. J. A1 - Schellekens, M. H. M. A1 - Wijngaards, N. J. E. JA - AI & Law Y1 - 2004 VL - 12 IS - 1-2 SP - 5 EP - 37 N2 - Software agents extend the current, information-based Internet to include autonomous mobile processing. In most countries such processes, i.e. software agents are, however, without an explicit legal status. Many of the legal implications of their actions (e.g. gathering information, negotiating terms, performing transactions) are not well understood. One important characteristic of mobile software agents is that they roam the Internet: they often run on agent platforms of others. There often is no pre-existing relation between the ?owner? of a running agent?s process and the owner of the agent platform on which an agent process runs. When conflicts arise, the position of the agent platform owner is not clear: is he or she allowed to slow down the process or possibly remove it from the system? Can the interests of the user of the agent be protected? This article explores legal and technical perspectives in protecting the integrity and availability of software agents and agent platforms. M1 - isn={0924-8463} ER - TY - JOUR ID - Brazier.ea:04*2 T1 - Anonymity and Software Agents: An Interdiscplinary Challenge A1 - Brazier, F. M. T. A1 - Oskamp, A. A1 - Prins, J. E. J. A1 - Schellekens, M. H. M. A1 - Wijngaards, N. J. E. JA - AI & Law Y1 - 2004 VL - 1-2 IS - 12 SP - 137 EP - 157 SN - 0924-8463 N2 - Software agents that play a role in E-commerce and E-government applications involving the Internet often contain information about the identity of their human user such as credit cards and bank accounts. This paper discusses whether this is necessary: whether human users and software agents are allowed to be anonymous under the relevant legal regimes and whether an adequate interaction and balance between law and anonymity can be realised from both the perspective of Computer Systems and the perspective of Law. M1 - isn={0924-8463} ER - TY - JOUR ID - Ogston.ea:04 T1 - Group Formation Among Decentralized Autonomous Agents A1 - Ogston, E. A1 - van Steen, M. A1 - Brazier, F. M. T. JA - Applied Artificial Intelligence Y1 - 2004/ SP - 953 EP - 970 UR - http://taylorandfrancis.metapress.com/app/home/contribution.asp?wasp=ngda3mqyrj4txnvrlh87&referrer=parent&backto=issue,12,12;journal,1,69;li nkingpublicationresults,1:100651,1 ER - TY - CONF ID - Groot.ea:04 T1 - Cross-Platform Generative Agent Migration A1 - Overeinder, B. J. A1 - Brazier, F. M. T. A1 - de Groot, D. R. A. TI - Proceedings of the Fourth European Symposium on Intelligent Technologies, Hybrid Systems and their implementation on Smart Adaptive Systems Y1 - 2004/6 SP - 356 EP - 363 N1 - EUNITE 2004, June 10-12, 2004, Aachen, Germany, http://www.eunite.org KW - agent configuration KW - generative migration N2 - In current agent systems agent migration is only possible between homogeneous systems supporting identical agent platforms, limiting an agent?s possibilities considerably. This paper revisits the notion of generative migration. Generative migration entails migration of an agent blueprint, instead of complete code. This approach relies on homogeneity of libraries on different platforms to re-incarnate agents, but does not require homogeneity of platforms. Agent Factories are used to assemble agents at their destination, adapting an agent to its environment. This paper continues earlier work on generative migration by extending available theory and providing a demonstration and implementation of generative cross-platform agent migration using Agent Factories. ER - TY - CONF ID - Noordende.ea:04 T1 - Security in a Mobile Agent System A1 - van 't Noordende, G. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. TI - Proceedings of the First IEEE Symposium on Multi-Agent Security and Survivability Y1 - 2004/8 CY - Philadelphia, USA ER - TY - CONF ID - Brazier.ea:04*3 T1 - Agent-Based Information Retrieval: Legal and Technical Considerations in a Simple Case A1 - Brazier, F. M. T. A1 - de Groot, D. R. A. A1 - Oskamp, A. A1 - Wijngaards, N. J. E. ED - Cevenini, C. TI - The Law and Electronic Agents: Proceedings of the LEA 04 workshop Y1 - 2004/6 SP - 95 EP - 107 N2 - Information retrieval is currently one of the most important usages of the Internet. Scientific publishers are one of the sources of information, providing access to digital libraries on a subscription basis. Contracts between publishers and larger organizations specify how access is to be regulated. This paper explores the legal implications and technical considerations of the use of soft-ware agents to facilitate on- and off-campus access to the ScienceDirect digital library. ER - TY - CONF ID - Splunter.ea:04 T1 - Automated Component-Based Configuration: Promises and Fallacies A1 - van Splunter, S. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. A1 - Richards, D. TI - Proceedings of the Adaptive Agents and Multi-Agent Systems workshop at the AISB 2004 Symposium Y1 - 2004/3 SP - 130 EP - 135 N2 - Re-use of software components is standard practice in software design and development in which humans play an important role. In many dynamic environments, however, (semi-)automated configuration of systems, is warranted. This paper examines three such domains: Agent Factories, Web service configuration and general software composition. The differences and similarities between these approaches, and the progress that is being made are discussed. ER - TY - CONF ID - Overeinder.ea:04 T1 - Scalable Middleware Environment for Agent-Based Internet Applications A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Proceedings of the Workshop on State-of-the-Art in Scientific Computing (PARA'04) T3 - Lecture Notes in Computer Science Y1 - 2004/6 VL - 3732 SP - 675 EP - 679 PB - Springer AD - Copenhagen, Denmark ER - TY - CONF ID - Ogston.ea:04*1 T1 - Group Formation Among Peer-to-Peer Agents: Learning Group Characteristics A1 - Ogston, E. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Brazier, F. M. T. T3 - Springer - Lecture Notes in Computer Science Y1 - 2004 VL - 2872 SP - 59 EP - 70 N1 - Second International Workshop on Agents and Peer-to-Peer Computing (AP2PC) (2003) ER - TY - RPRT ID - Groot:04 T1 - Cross-Platform Generative Agent Migration - An Agent Factory Approach A1 - de Groot, D. R. A. Y1 - 2004/1 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisor: prof.dr. F.M.T. Brazier, Referee: dr. B.J. Overeinder, Advisors: drs. S. van Splunter & dr. N.J.E. Wijngaards N2 - In some agent applications agents need to move between locations to perform their tasks. Agent migration, however, is often complicated by the heterogeneous nature of the agent environment. For example, the platform from which an agent migrates (source-platform) may not be compatible with the platform to which the agent migrates (destination platform). Different solutions for cross-platform agent migration are possible. This thesis addresses one such solution, called generative migration. Instead of transporting the agent itself, a blueprint of the agent is sent to its destination. There, an Agent Factory regenerates the agent using its blueprint. This thesis continues earlier work on generative migration by extending available theory and providing a demonstration and implementation of generative cross-platform agent migration. ER - TY - CONF ID - Splunter.ea:04*1 T1 - Automated Component-Based Configuration: Promises and Fallacies A1 - van Splunter, S. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. A1 - Richards, D. ED - Verbrugge, R. ED - Taatgen, N. ED - Schomaker, L. TI - Proceedings of the Sixteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'04), Groningen, The Netherlands. October 21-22, 2004. Y1 - 2004/10 SP - 351 EP - 352 N1 - This is an extended abstract of version in Proceedings of the Adaptive Agents and Multi-Agent Systems workshop at the AISB 2004 Symposium ER - TY - RPRT ID - Broekhuizen:04 T1 - Automated Template-based Web Service Configuration A1 - Broekhuizen, J. Y1 - 2004/10 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: prof.dr. F.M.T. Brazier & drs. S. van Splunter, Second examiner: dr. N.J.E. Wijngaards ER - TY - CONF ID - Brazier.ea:04*4 T1 - Agent-Based Information Retrieval: Legal and Technical Considerations in a Simple Case A1 - Brazier, F. M. T. A1 - de Groot, D. R. A. A1 - Oskamp, A. A1 - Wijngaards, N. J. E. ED - Verbrugge, R. TI - Proceedings of the Sixteenth Belgium-Netherlands Artificial Intelligence Conference (BNAIC'04), Oktober 21-22, Groningen, The Netherlands Y1 - 2004/10 SP - 339 EP - 340 CY - Groningen, The Netherlands N1 - This is an extended abstract of the arcticle in The Law and Electronic Agents: Proceedings of the LEA 04 workshop ER - TY - CONF ID - Mobach.ea:04 T1 - Lease-based Decentralized Resource Management in Open Multi-Agent Systems A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Marin, O. A1 - Brazier, F. M. T. TI - Proceedings of the Second European Workshop on Multi-Agent Systems (EUMAS'04). Y1 - 2004 SP - 459 EP - 464 N1 - See the upcoming FLAIRS'05 paper for an extended version ER - TY - RPRT ID - Meijers:04 T1 - Agent-Based Document Assembly Framework: Examining Agent System Resource management in a Real World Scenario A1 - Meijers, M. Y1 - 2004/10 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - Supervisors: prof.dr. F.M.T. Brazier & drs. D.G.A. Mobach, Second examiner: dr. B.J. Overeinder ER - TY - GEN ID - Mobach.ea:04*1 T1 - Observation and Leasing Infrastructure for Distributed Systems Management A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Marin, O. A1 - Haydarlou, A. R. A1 - Brazier, F. M. T. Y1 - 2004/9 N1 - Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004) ER - TY - GEN ID - Brazier.ea:04*5 T1 - Survival of the Legally Fittest A1 - Brazier, F. M. T. A1 - de Groot, D. R. A. A1 - Oskamp, A. A1 - Prins, J. E. J. A1 - Schellekens, M. H. M. A1 - Wijngaards, N. J. E. Y1 - 2004/9 N1 - Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004) N2 - Technical, commercial and legal issues strongly influence system administrators. Management of (distributed) systems with connections to outside users, e.g. via webservices or (mobile) software agents, may involve contracts. The challenge is to find simple, elegant and effective solutions to (automated) contract management systems, preferably as part of overall (distributed) management systems. ER - TY - GEN ID - Splunter.ea:04*2 T1 - Automated Web service configuration: an attempt A1 - van Splunter, S. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. Y1 - 2004/9 N1 - Poster at the 4th International System Administration and Network Engineering Conference (SANE 2004) ER - TY - RPRT ID - Dijk:04 T1 - An Agent-based Simulation Of Planning Done By Community Members Of Ebhodweni A1 - van Dijk, S. Y1 - 2004/9 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - Supervisor: dr. B.J. Overeinder, Second examiner: prof.dr. F.M.T. Brazier ER - TY - CONF ID - Mobach.ea:03 T1 - Managing Agent Life Cycles in Open Distributed Systems A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. TI - Proceedings of the 18th ACM Symposium on Applied Computing Y1 - 2003/3 SP - 61 EP - 65 AD - Melbourne, FL N2 - Large scale open, heterogeneous, distributed environments such as the Internet, are the environments in which (intelligent) agents need to be able to function and survive. These environments need to provide distributed support, including management services, for such agent systems. In this paper a local management architecture, implemented in AgentScape, is provided together with a management-oriented life cycle model. A major feature of this model is the central role of one of the states of the life cycle model, namely the suspended state: the state in which an agent is manageable. A prototype implementation of the management system based on the life cycle model is described. ER - TY - CONF ID - Splunter.ea:03 T1 - Configuring Web Service, using Structurings and Techniques from Agent Configuration A1 - van Splunter, S. A1 - Sabou, M. A1 - Brazier, F. M. T. A1 - Richards, D. TI - Proceedings of the 2003 IEEE/WIC International Conference on Web Intelligence (WI 2003) Y1 - 2003/10 SP - 153 EP - 160 AD - Halifax, Canada ER - TY - CONF ID - Bertier.ea:03 T1 - Performance Analysis of a Hierarchical Failure Detector A1 - Bertier, M. A1 - Marin, O. A1 - Sens, P. TI - Proceedings of the International Conference on Dependable Systems and Networks (DSN'2003) Y1 - 2003/6 SP - 635 EP - 644 ER - TY - CONF ID - Ogston.ea:03 T1 - A Method for Decentralized Clustering in Large Multi-Agent Systems A1 - Ogston, E. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Brazier, F. M. T. TI - Proceedings of the Second International Joint Conference on Autonomous Agent and Multi Agent Systems (AAMAS03) Y1 - 2003/7 SP - 798 EP - 796 AD - Melbourne Australia N1 - Also presented at EUMAS 2003 ER - TY - CONF ID - Marin.ea:03 T1 - DARX - A Framework for the Fault-Tolerant Support of Agent Software A1 - Marin, O. A1 - Bertier, M. A1 - Sens, P. TI - Proceedings of the 14th. IEEE International Symposium on Software Reliability Engineering (ISSRE 2003) Y1 - 2003/11 SP - 406 EP - 417 ER - TY - CONF ID - Overeinder.ea:03 T1 - Fault-Tolerance in Scalable Agent Support Systems: Integrating DARX in the AgentScape Framework A1 - Overeinder, B. J. A1 - Brazier, F. M. T. A1 - Marin, O. TI - Proceedings of the 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid2003) Y1 - 2003/5 SP - 688 EP - 695 ER - TY - CHAP ID - Splunter.ea:03*1 T1 - Structuring Agents for Adaptation A1 - van Splunter, S. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. ED - Alonso, E. T3 - Lecture Notes in Artificial Intelligence (LNAI) Y1 - 2003 VL - 2636 M1 - Inbook SP - 174 EP - 186 PB - Springer-Verlag Berlin AD - Berlin N1 - Also presented at The First European Workshop on Multi-Agent Systems EUMAS, 18-19 December 2003, Oxford, England. N2 - Agents need to be able to adapt to the dynamic nature of the environments in which they operate. Automated adaptation is an option that is only feasible if enough structure is provided. This paper describes a component-based structure within which dependencies between components are made explicit. An example of a simple web-page analysis agent is used to illustrate the structuring principles and elements. ER - TY - CONF ID - Richards.ea:03 T1 - Composing Web Services using an Agent Factory A1 - Richards, D. A1 - van Splunter, S. A1 - Brazier, F. M. T. A1 - Sabou, M. TI - Proceedings of AAMAS Workshop on Web Services and Agent-Based Engineering(WSABE), Melbourne, Australia Y1 - 2003/7 SP - 57 EP - 66 N1 - Also published in 2005 N2 - Web service composition can provide a value-chain between customers and suppliers. The increasing number of services, and thus possible combinations, demands the development of dynamic and automatic techniques for their composition. Current commercial solutions are limited and are primarily static and manual. Automation requires reasoning about (semantic descriptions of) the services. In this paper we describe our initial work involving the semantic description of Web services using DAML-S and how our Agent Factory has used these descriptions in its design process to derive a Web service configuration. ER - TY - CONF ID - Sabou.ea:03 T1 - An experience report on using DAML-S A1 - Sabou, M. A1 - Richards, D. A1 - van Splunter, S. TI - Proceedings of WWW 2003 Workshop on E-Services and the Semantic Web (ESSW'03), Budapest, Hungary Y1 - 2003/5 N2 - Though DAML-S is growing into a de facto standard for semantic web-service markup, we have only found few complete service descriptions and even less papers discussing technical issues about the markup process. We addressed this lack by (1) reporting on our experiences in describing a set of services, (2) concluding several limitations of the latest DAML-S version (v0.7) and (3) making our work accessible to the research community. ER - TY - CONF ID - Brazier.ea:03 T1 - Are anonymous agents realistic? A1 - Brazier, F. M. T. A1 - Oskamp, A. A1 - Prins, J. E. J. A1 - Schellekens, M. H. M. A1 - Wijngaards, N. J. E. ED - Oskamp, A. ED - Weitzenboeck, E. TI - Proceedings of the LEA 2003: The Law and Electronic Agents Y1 - 2003/6 SP - 69 EP - 79 N2 - Software agents are involved in Internet applications such as E-commerce and may contain identificatory information about their human user such as credit cards and bank accounts. This paper discusses whether human users and software agents are allowed to be anonymous and whether anonymity is technically realisable from the perspective of Artificial Intelligence, Computer Systems and Law. ER - TY - CONF ID - Brazier.ea:03*1 T1 - Can agents close contracts? A1 - Brazier, F. M. T. A1 - Oskamp, A. A1 - Schellekens, M. H. M. A1 - Wijngaards, N. J. E. ED - Oskamp, A. ED - Weitzenboeck, E. TI - Proceedings of LEA 2003: The Law and Electronic Agents Y1 - 2003/6 SP - 9 EP - 20 N2 - One of the tasks of software agents on the Internet will be to close contracts on behalf of their owner. The closing of a contract is subject to liabilities. In this, there is no distinction between the real world and the virtual world. Like in the real world, within the virtual world a distinction has to be made between the precontractual phase and the contractual phase. The liabilities in these phases are different. Therefore negotiation protocols for agents need to distinguish between these phases and different responsibilities may exist in the different phases. This paper presents some of the issues involved, viewed from a technical and legal perspective. ER - TY - CONF ID - Brazier.ea:03*2 T1 - Are mobile agents outlawed processes? A1 - Brazier, F. M. T. A1 - Oskamp, A. A1 - Schellekens, M. H. M. A1 - Wijngaards, N. J. E. ED - Oskamp, A. ED - Weitzenboeck, E. TI - Proceedings of LEA 2003: The Law and Electronic Agents Y1 - 2003/6 SP - 127 EP - 139 N2 - An important characteristic of mobile agents is that they often do not run on their user's platform, but on the platform of someone else. There often is no pre-existing relation between the 'owner' of the running agent's process and the owner of the platform on which the agent process runs. When there are conflicts the position of the owner is not clear: is he allowed to slowdown the process or even remove it from the system? And how can the interests of the owner of the agent be protected? This paper explores the legal and technical perspectives to protecting the integrity of agent processes. ER - TY - CONF ID - Richards.ea:03*1 T1 - The Adaptation of Agent Configurations using Web Services as Components A1 - Richards, D. A1 - van Splunter, S. A1 - Brazier, F. M. T. A1 - Sabou, M. TI - The Proceedings of The 8th Australian and New Zealand Intelligent Information Systems Conference (ANZIIS2003), Macquarie University, Sydney, Australia Y1 - 2003/12 SP - 339 EP - 344 AD - Macquarie University, Sydney, Australia ER - TY - RPRT ID - Assem:03 T1 - Generative Agent Migration: Exploring Automated Assembly of Agents A1 - van Assem, M. F. J. Y1 - 2003/9 M1 - Mastersthesis T2 - IIDS Group, Faculty of Sciences, Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisor: prof.dr. F.M.T. Brazier, Referee: prof.dr. J.C. van Vliet, Advisors: drs. S. van Splunter & dr. N.J.E. Wijngaards ER - TY - CONF ID - Richards.ea:03*2 T1 - Demonstration of Web Services Configuration A1 - Richards, D. A1 - van Splunter, S. A1 - Brazier, F. M. T. A1 - Sabou, M. ED - Heskes, T. TI - Proceedings of the Fifthteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2003) Y1 - 2003/10 SP - 461 EP - 462 ER - TY - CONF ID - Richards.ea:03*3 T1 - Artificial Intelligence: A Promised Land for Web Services A1 - Richards, D. A1 - Sabou, M. A1 - van Splunter, S. A1 - Brazier, F. M. T. TI - The Proceedings of The 8th Australian and New Zealand Intelligent Information Systems Conference (ANZIIS2003), Macquarie University, Sydney, Australia Y1 - 2003/12 SP - 205 EP - 210 AD - Macquarie University, Sydney, Australia ER - TY - RPRT ID - Brazier.ea:03*3 T1 - ALIAS: Analysing Legal Implications and Agent Information Systems A1 - Brazier, F. M. T. A1 - Oskamp, A. A1 - Prins, J. E. J. A1 - Schellekens, M. H. M. A1 - Schreuders, E. A1 - Wijngaards, N. J. E. A1 - Apistola, M. A1 - Voulon, M. B. A1 - Kubbe, O. Y1 - 2003/7 M1 - Techreport IS - IR-CS-004 T2 - Faculty of Sciences, Vrije Universiteit Amsterdam N1 - Technical Report ER - TY - GEN ID - Wijngaards:03 T1 - Are You in Control of Your Own Computer? A1 - Wijngaards, N. J. E. Y1 - 2003/12 N1 - First column in `Distributed' Wisdom department ER - TY - THES ID - Marin:03 T1 - The DARX Framework: Adaptive Fault Tolerance for Agent Systems A1 - Marin, O. Y1 - 2003/12 M1 - Phdthesis T2 - Universite du Havre N1 - PhD thesis ER - TY - JOUR ID - Herlea.ea:02 T1 - A Compositional Knowledge Level Process Model of Requirements Engineering A1 - Herlea, D. E. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. JA - International Journal of Software Engineering and Knowledge Engineering Y1 - 2002 VL - 12 IS - 1 SP - 41 EP - 75 N2 - In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledge-level modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering task. This process model is considered to be a generic process model: it can be refined (by instantiation or specialisation) into a process model for a specific kind of Requirements Engineering process. ER - TY - JOUR ID - Brazier.ea:02 T1 - Dynamics and Control in Component-Based Agent Models A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. JA - International Journal of Intelligent Systems Y1 - 2002 VL - 17 IS - 11 SP - 1007 EP - 1047 ER - TY - JOUR ID - Wijngaards.ea:02 T1 - Supporting Internet-Scale Multi-Agent Systems A1 - Wijngaards, N. J. E. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Brazier, F. M. T. JA - Data and Knowledge Engineering Y1 - 2002/6 VL - 41 IS - 2-3 SP - 229 EP - 245 N2 - The Internet provides a large-scale environment for (intelligent) software agents. Agents are autonomous (mobile) processes, capable of communication with other agents, interaction with the world, and adaptation to changes in their environment. Current approaches to support agents are not geared for large-scale settings. The near future holds thousands of agents, hosts, messages, and migratory movements of agents. These large-scale aspects require a new approach to facilitate the development of agent applications and support. AgentScape is a scalable agent-based distributed system described in this paper that aims at tackling these aspects. ER - TY - JOUR ID - Brazier.ea:02*1 T1 - Principles of Component-Based Design of Intelligent Agents A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. JA - Data and Knowledge Engineering Y1 - 2002 VL - 41 SP - 1 EP - 28 N2 - Compositional multi-agent system design is a methodological perspective on multiagent system design based on the software engineering principles process and knowledge abstraction, compositionality, reuse, specification and verification. This paper addresses these principles from a generic perspective in the context of the compositional development method DESIRE. An overview is given of reusable generic models (design patterns) for different types of agents, problem solving methods and tasks, and reasoning patterns. Examples of supporting tools are described. M1 - publisher_url={http://www.elsevier.com/gej-ng/10/16/74/93/49/27/abstract.html} ER - TY - JOUR ID - Brazier.ea:02*2 T1 - Analysis of Multi-Interpretable Ecological Monitoring Information A1 - Brazier, F. M. T. A1 - Engelfriet, J. A1 - Treur, J. JA - Applied Artificial Intelligence Journal Y1 - 2002 VL - 16 SP - 51 EP - 71 N2 - In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to an ecological domain. A knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of samples of plant species that are observed. The logical foundation of this system is described in terms of a belief set operator and a selection operator. ER - TY - JOUR ID - Brazier.ea:02*3 T1 - A Multi-Agent System Performing One-to-Many Negotiation for Load Balancing of Electricity Use A1 - Brazier, F. M. T. A1 - Cornelissen, F. A1 - Gustavsson, R. A1 - Jonker, C. M. A1 - Lindeberg, O. A1 - Polak, B. A1 - Treur, J. JA - Electronic Commerce Research and Applications Journal Y1 - 2002 VL - 1 SP - 208 EP - 224 ER - TY - CONF ID - Overeinder.ea:02 T1 - Integrating Peer-to-Peer Networking and Computing in the AgentScape Framework A1 - Overeinder, B. J. A1 - Posthumus, E. A1 - Brazier, F. M. T. TI - Proceedings of the 2nd IEEE International Conference on Peer-to-Peer Computing Y1 - 2002/9 SP - 96 EP - 103 AD - Link\"oping, Sweden ER - TY - CONF ID - E.ea:02 T1 - A Peer-to-Peer Agent Auction A1 - Ogston, E. A1 - Vassiliadis, S ED - Castelfranchi, C. TI - Proceedings of the First International Joint Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2002) Y1 - 2002/7 SP - 151 EP - 159 PB - ACM Press N2 - In this work we examine a peer-to-peer agent continuous double auction. We compare agents trading using peer-topeer communications with agents using the same trading strategy in an auction that makes use of a centralized auctioneer to disseminate information. We present simulation data for these two auctions running with 2,500 to 160,000 agents. We find that the peer-to-peer auction is able to display price convergence behavior similar to that of the centralized auction. Further, the data shows that the peerto-peer system has a constant cost in the number of message rounds needed to find the market equilibrium price as the number of traders is increased, in contrast to the linear cost incurred by the central auctioneer. Considering the above message costs, the peer-to-peer system outperformed the simple central auction by at least 100 times in our simulations. We further calculate that for a distributed hierarchical set of auctioneers, for which the message rounds cost of finding equilibrium are reduced to logarithmic in the number of traders, the peer-to-peer system will still produce better performance for systems with more than 5,000 traders. ER - TY - CONF ID - Brazier.ea:02*4 T1 - Agent Factory: Generative Migration of Mobile Agents in Heterogeneous Environments A1 - Brazier, F. M. T. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Wijngaards, N. J. E. TI - Proceedings of the 2002 ACM Symposium on Applied Computing (SAC 2002) Y1 - 2002/3 SP - 101 EP - 106 AD - Madrid, Spain N2 - In most of today s agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper an approach is presented with which heterogeneity is possible: agents can migrate between non-identical platforms, and need not be written in the same language. Instead of migrating the code (including data and state) of an agent, a blueprint of an agent s functionality is transferred. An agent factory generates new code on the basis of this blueprint. This approach of generative mobility not only has implications for interoperability but also for security, as discussed in this paper. ER - TY - CONF ID - Brazier.ea:02*5 T1 - Automated (Re-)Design of Software Agents A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Gero, J. S. TI - Proceedings of the Artificial Intelligence in Design Conference (AID2002) Y1 - 2002/7 SP - 503 EP - 520 PB - Kluwer Academic Publishers N2 - Adaptive artefacts are able to recognise the need for adaptation, and adapt themselves accordingly. The design of adaptive software agents is described in this paper: an adaptive agent is capable or determining needs for adaptation, and an agent factory is capable of adapting an agent according to its needs for adaptation. A number of prototype adaptive agents and agent factories have been built to evaluate the feasibility of the concept. ER - TY - CONF ID - Bertier.ea:02 T1 - Implementation and Performance Evaluation of an Adaptable Failure Detector A1 - Bertier, M. A1 - Marin, O. A1 - Sens, P. TI - Proceedings of the International Conference on Dependable Systems and Networks (DSN'2002) Y1 - 2002/5 SP - 354 EP - 363 ER - TY - CONF ID - Overeinder.ea:02*1 T1 - Multi-Agent Support for Internet-Scale Grid Management A1 - Overeinder, B. J. A1 - Wijngaards, N. J. E. A1 - van Steen, M. A1 - Brazier, F. M. T. ED - Rana, O. ED - Schroeder, M. TI - Proceedings of the AISB'02 Symposium on AI and Grid Computing Y1 - 2002/4 SP - 18 EP - 22 AD - London, UK N2 - Internet-scale computational grids are emerging from various research projects. Most notably are the US National Tech-nology Grid and the European Data Grid projects. One specific problem in realizing wide-area distributed computing environments as proposed in these projects, is effective management of the vast amount of resources that are made available within the grid environment. This paper proposes an agent-based approach to resource management in grid environments, and describes an agent infrastructure that could be integrated with the grid middleware layer. This agent infrastructure provides support for mobile agents that is scalable in the number of agents and the number of resources. ER - TY - CONF ID - Brazier.ea:02*6 T1 - Generative Migration of Agents A1 - Brazier, F. M. T. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Wijngaards, N. J. E. ED - Alonso, E. ED - Kudenko, D. ED - Kazakov, D. TI - Proceedings of the AISB'02 Symposium on Adaptive Agents and Multi-Agent Systems Y1 - 2002/4 SP - 116 EP - 119 AD - London, UK N2 - Agents, and in particular mobile agents, offer a means for application developers to build distributed applications. In current agent systems, mobility of agents is constrained by the environment of the agents: the agent platform (which supports agents) and the agent s code base (e.g., DESIRE, Java). Generative migration is needed to adapt an agent to conform to its destination agent platform and code base. In this paper generative migration is described as a process of transparently adapting an agent. An agent can continue to function at its new location on a completely different agent platform. ER - TY - CONF ID - Apistola.ea:02 T1 - Legal aspects of agent technology A1 - Apistola, M. A1 - Brazier, F. M. T. A1 - Kubbe, O. A1 - Oskamp, A. A1 - Schellekens, M. H. M. A1 - Voulon, M. B. TI - Proceedings of 17th Bileta conference, Amsterdam Y1 - 2002/3 SP - 11 N1 - Proceedings can be found online: http://www.bileta.ac.uk/ N2 - Agent Technology is entering into the field of law. E-commerce is one area in which agent technology plays an important role. The legal implications regarding the use of agent technology are, however, not Always clear. The ALIAS project focuses on both the legal implications and the technical solutions which may be used to fulfill the legal conditions derived. Different fields of expertise are combined within the ALIAS project: Computer Science, Artificial Intelligence, and Law. The aim of this project is to provide a `cookbook' for developers of agent systems, and guidelines for both Legal-researchers and AI-researchers designing intelligent distributed agent systems. In this paper a distinction is made between open and closed systems on the Internet: the legal conditions of which differ especially with respect to the use of agent technology. Three example cases are described in which both (1) the legal implications of the use of agents in these contexts and (2) possible technical solutions for these conditions, are addressed. As the Internet does not stop at a country's border, the analysis of legal implications is not restricted to Dutch law, but also considers other legal systems. As the technical solutions proposed are generic, they are not always fully compliant with legal conditions. These aspects are also discussed in this paper. ER - TY - CONF ID - Noordende.ea:02 T1 - A Security Framework for a Mobile Agent System A1 - van 't Noordende, G. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. ED - Fischer, Klaus ED - Hutter, Dieter TI - Proceedings of the 2nd International Workshop on Security in Mobile Multiagent Systems (SEMAS 2002), associated with AAMAS-2002, Bologna, Italy T3 - DFKI Research Report RR-02-03 Y1 - 2002/7 SP - 43 EP - 50 PB - Deutsches Forschungszentrum fur Kunstliche Intelligenz, http://www.dfki.de ER - TY - CONF ID - Brazier.ea:02*7 T1 - Designing Creativity A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. TI - Proceedings of the Learning and Creativity in Design workshop at AID'02 Y1 - 2002 N2 - Is it possible to design for creativity? This is one of the most important research questions in AI and Design. This paper raises the question whether automated software agent design can be creative. Not only is the artefact dynamic in the sense that it adapts to its environment, it is also autonomous: an agent decides on its own when to be modified and by whom. An agent s functionality may evolve beyond the expectations of its designers and/or users resulting in very new, unique artefacts. Is this type of design creative? Is the process creative? The result? ER - TY - CONF ID - Brazier.ea:02*8 T1 - Model-Based Development of Design Process Models A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Clarkson, P. John ED - Eckert, Claudia. M. TI - Notes AID '02 Workshop on Design Process Modelling Y1 - 2002 PB - Cambridge University AD - Cambridge N2 - Not only do generic compositional models of design support the analysis of design processes and the development of practical design support systems, they also provide the basic structure for more specific design process models. The generic design model GDM provides a compositional structure that has been refined for different types of design as illustrated in this paper for a number of practical design applications. These new models have proven to be applicable in different domains. ER - TY - CONF ID - Brazier.ea:02*9 T1 - Supporting Life Cycle Coordination in Open Agent Systems A1 - Brazier, F. M. T. A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Wijngaards, N. J. E. TI - Proceedings of the MAS Problem Spaces Workshop at AAMAS 2002 Y1 - 2002/5 N2 - Coordination mechanisms need the proper support if they are to function within large-scale, heterogeneous multi-agent systems. This paper presents a life cycle model for mobile agents in which a number of different states and transitions are defined. An agent's state can be used to provide coordination mechanisms with useful status information, enabling these mechanisms to deal with realistic situations, in which agents are not always directly available, and the agent population possibly consists of many different types of agents ER - TY - CONF ID - Brazier.ea:02*10 T1 - Are Law-Abiding Agents Realistic? A1 - Brazier, F. M. T. A1 - Kubbe, O. A1 - Oskamp, A. A1 - Wijngaards, N. J. E. ED - Sartor, G. ED - Cevenini, C. TI - Proceedings of the workshop on the Law of Electronic Agents (LEA02) Y1 - 2002/7 SP - 151 EP - 155 N2 - Software agents are an inherent extension to the current Internet. They are, however, without a legal status. They autonomously roam the Internet, perform transactions, and gather information. The legal implications of their actions are, however, not well understood. This paper presents some of the issues involved, viewed from the perspective of Artificial Intelligence, Computer Systems and Law. ER - TY - CONF ID - Brazier.ea:02*11 T1 - The Role of Trust in Automated Distributed Design A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Gero, J. S. ED - Brazier, F. M. T. TI - Proceedings of the Workshop on Agents in Design (WAID) Y1 - 2002/8 SP - 71 EP - 84 PB - Key Centre of Design Computing and Cognition, University of Sydney, Australia ER - TY - CONF ID - Brazier.ea:02*12 T1 - The Role of Trust in Automated Distributed Design A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Brazier, F. M. T. ED - Wijngaards, N. J. E. TI - Proceedings of the Workshop on Intelligent Agents in Design, held at the Artificial Intelligence in Design conference (AID-02) Y1 - 2002 SP - 17 EP - 22 N1 - See the WAID02 paper for an extended version. ER - TY - CONF ID - Noordende.ea:02*1 T1 - Mansion: A Structured Middleware Environment for Agents A1 - van 't Noordende, G. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. TI - Proceedings of the 3rd International SANE Conference (SANE 2002) Y1 - 2002/5 SP - 405 EP - 406 PB - NLUUG AD - Maastricht, The Netherlands ER - TY - CONF ID - Brazier.ea:02*13 T1 - AgentScape: Middleware, Resource Management, and Services A1 - Brazier, F. M. T. A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - van Splunter, S. A1 - van Steen, M. A1 - Wijngaards, N. J. E. TI - Proceedings of the 3rd International SANE Conference (SANE 2002) Y1 - 2002/5 SP - 403 EP - 404 AD - Maastricht, The Netherlands N2 - The AgentScape project is geared to support largescale distributed systems at three levels: middleware, services, and applications. This extended abstract presents the basic AgentScape architecture, resource management, and one specific service for code mobility in more detail. ER - TY - CONF ID - Brazier.ea:02*14 T1 - Knowledge-Based Design and Evolutionary Design: Adversaries or Compatriots? A1 - Brazier, F. M. T. A1 - van Splunter, S. A1 - Wijngaards, N. J. E. TI - Proceedings of the Intelligent Agents in Design Workshop at AID'02 Y1 - 2002/7 SP - 35 EP - 38 ER - TY - GEN ID - Brazier.ea:02*15 T1 - Agents: Nomads, Migrants or Globetrotters? A1 - Brazier, F. M. T. A1 - Oskamp, A. Y1 - 2002/4 N1 - Invited talk at BILETA-2002 ER - TY - CONF ID - Apistola.ea:02*1 T1 - Migrating agents: Do sysadmins have a license to kill? A1 - Apistola, M. A1 - Brazier, F. M. T. A1 - Kubbe, O. A1 - Oskamp, A. A1 - Prins, J. E. J. A1 - Schellekens, M. H. M. A1 - Voulon, M. B. TI - Proceedings of the 3rd International SANE Conference (SANE 2002) Y1 - 2002/5 AD - Maastricht, The Netherlands N2 - A mobile agent is a process that can autonomously decide to move from one machine to another across the Internet. Migrating entails serialising code, data and state into an agent image, acquiring permission to move, `shipping' its image to another machine, and requesting activation on the new host. Each local network may have a specific policy with respect to the agents it is willing to accept and activate, and under which conditions. This paper is based on results of the ALIAS research project1 in which legal experts, computer scientists and AI experts aim to increase the understanding of the legal and technical implications of the use of mobile software agents A number of legal and technical issues concerning the implications of hosting mobile, possibly hostile agents are addressed. M1 - publisher_url={http://www.nluug.nl/events/sane2002/} ER - TY - CONF ID - Brazier.ea:02*16 T1 - AgentScape Demonstration A1 - Brazier, F. M. T. A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Posthumus, E. A1 - van Splunter, S. A1 - van Steen, M. A1 - Wijngaards, N. J. E. ED - Blockeel, H. ED - Denecker, M. TI - Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2002) Y1 - 2002/10 SP - 513 EP - 514 ER - TY - CONF ID - Brazier.ea:02*17 T1 - Generative Migration of Agents A1 - Brazier, F. M. T. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Wijngaards, N. J. E. ED - Blockeel, H. TI - Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2002) Y1 - 2002/10 SP - 409 EP - 410 N1 - Extended abstract of AISB02 paper on Generative Migration. N2 - Agents, and in particular mobile agents, offer a means for application developers to build distributed applications. Given homogeneity of agent platform and code base, agent migration is possible. However, many agent platforms exist, differing substantially in the support for agents. Write once - run everywhere is not yet true for agents... Heterogeneity of agent platforms, combined with heterogeneity in code-bases of agents, leads to an interesting question concerning agent mobility: can an agent migrate in a heterogeneous environment? The answer is relatively simple: an agent needs to be adapted to its destination agent platform and code-base, e.g. by an agent factory. ER - TY - CONF ID - Wijngaards.ea:02*1 T1 - Supporting Internet-Scale Multi-Agent Systems A1 - Wijngaards, N. J. E. A1 - Overeinder, B. J. A1 - van Steen, M. A1 - Brazier, F. M. T. ED - Blockeel, H. TI - Proceedings of the Fourteenth Belgium-Netherlands Conference on Artificial Intelligence (BNAIC2002) Y1 - 2002/10 SP - 501 EP - 502 N1 - Extended abstract from DKE2002 `Supporting Internet-Scale Multi-Agent Systems'. N2 - Although current research on agent systems focuses on relatively small-scale agent systems, soon vast numbers of agents will be deployed in large-scale agent systems, e.g. on the Internet. Large-scale agent systems need to be extensible, heterogenous, interoperable, and scalable. Scalability entails systems to scale (in terms of the number of agents and available resources) almost immediately without noticeable loss of performance, or considerable increase in administrative complexity [1]. ER - TY - CONF ID - Apistola.ea:02*2 T1 - Legal aspects of agent technology A1 - Apistola, M. A1 - Brazier, F. M. T. A1 - Kubbe, O. A1 - Oskamp, A. A1 - Schellekens, M. H. M. A1 - Voulon, M. B. ED - Blockeel, H. ED - Denecker, M. TI - Proceedings of The 14th Belgian-Dutch Conference on Artificial Intelligence (BNAIC2002) Y1 - 2002 SP - 399 EP - 400 M1 - publisher_url={http://www.cs.kuleuven.ac.be/conference/bnaic02/} ER - TY - CONF ID - Overeinder.ea:02*2 T1 - Self-Organized Criticality in Optimistic Simulation of Correlated Systems A1 - Overeinder, B. J. A1 - Schoneveld, A. A1 - Sloot, P. M. A. ED - Tropper, Carl TI - Parallel and Distributed Discrete Event Simulation Y1 - 2002 SP - 79 EP - 97 PB - Nova Science Publishers AD - New York ER - TY - CONF ID - Brazier:02 T1 - Distributed Shared Agent Representations A1 - Brazier, F. M. T. A1 - van Steen, M. A1 - Wijngaards, N. J. E. ED - Marik, V. ED - Stepankova, O. ED - Krautwurmova, H. ED - Luck, M. TI - Multi-Agent-Systems and Applications II T3 - Lecture Notes in Computer Science Y1 - 2002/7 VL - 2322 SP - 213 EP - 220 PB - Springer Verlag N1 - 9th ECCAI-ACAI/EASSS 2001, AEMAS 2001, HoloMAS 2001. Selected Revised Papers. N2 - The external representation of an agent is (part of) the embodiment of an agent: other agents may observe this information. The public representation of an agent usually contains at least the identity of an agent, and may include profiles of the agent, profiles of the user of an agent, an avatar, etc. In large-scale agent systems, scalability is an important issue. Replication is a scaling technique for distributing information over a number of locations. Replication of the external representation of an agent results in distributed shared agent representations. This paper addresses a number of issues involved in the realisation of such distributed shared agent representations, and brie y discusses middleware that is being devised to support such developments. ER - TY - CONF ID - Gero.ea:02 T1 - Agents in Design ED - Gero, J. S. ED - Brazier, F. M. T. Y1 - 2002/8 PB - Key Centre of Design Computing and Cognition, University of Sydney, Australia ER - TY - JOUR ID - Sloot.ea:01 T1 - Self-Organized Criticallity in Simulated Correlated Systems A1 - Sloot, P. M. A. A1 - Overeinder, B. J. A1 - Schoneveld, A. JA - Computer Physics Communications Y1 - 2001/12 VL - 142 IS - 1-3 SP - 76 EP - 81 ER - TY - JOUR ID - Brazier.ea:01 T1 - Automated Servicing of Agents A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. JA - AISB Journal Y1 - 2001/12 VL - 1 IS - 1 SP - 5 EP - 20 N1 - Special Issue on Agent Technology N2 - Agents need to be able to adapt to changes in their environment. One way to achieve this, is to service agents when needed. A separate servicing facility, an agent factory, is capable of automatically modifying agents. This paper discusses the feasibility of automated servicing. ER - TY - JOUR ID - Brazier.ea:01*1 T1 - Deliberative Evolution in Multi-Agent Systems A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. JA - International Journal of Software Engineering and Knowledge Engineering Y1 - 2001 VL - 11 IS - 5 SP - 559 EP - 581 N2 - Evolution of automated systems, in particular evolution of automated agents based on agent deliberation, is the topic of this paper. Evolution is not a merely material process, it requires interaction within and between individuals, their environments and societies of agents. An architecture for an individual agent capable of (1) deliberation about the creation of new agents, and (2) (run-time) creation of a new agent on the basis of this, is presented. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both design structures of agents and (behavioural) properties of agents. The process of deliberation is based on an existing generic reasoning model of design. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation. ER - TY - JOUR ID - Brazier.ea:01*2 T1 - Compositional Design of a Generic Design Agent A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. JA - Design Studies journal Y1 - 2001 VL - 22 IS - 5 SP - 439 EP - 471 N2 - This paper presents a generic architecture for a design agent, to be used in an Internet environment. The design agent is based on an existing generic agent model, and includes a refinement of a generic model for design, in which strategic reasoning and dynamic management of requirements are explicitly modelled. The generic architecture has been designed using the compositional development method DESIRE, and has been used to develop a prototype design agent for automated agent design. ER - TY - JOUR ID - Brazier.ea:01*3 T1 - Knowledge level model of an individual designer agent in collaborative distributed design A1 - Brazier, F. M. T. A1 - Moshkina, L. V. A1 - Wijngaards, N. J. E. JA - Journal of Artificial Intelligence in Engineering Y1 - 2001 VL - 15 IS - 2 SP - 137 EP - 152 N1 - http://www.elsevier.com/locate/aieng N2 - In this paper a knowledge-level model of an individual designer as an agent is described, in which reflective reasoning about elements of situatedness, and reasoning from the point of view of other participants, are explicitly modelled. This model is based on existing models of single agent design. An individual designer in a specific distributed design process, namely website design, is used to illustrate the model. ER - TY - JOUR ID - Overeinder.ea:01 T1 - Self-Organized Criticality in Optimistic Simulation of Correlated Systems A1 - Overeinder, B. J. A1 - Schoneveld, A. A1 - Sloot, P. M. A. JA - Parallel and Distributed Computing Practices Y1 - 2001/3 VL - 4 IS - 1 SP - 61 EP - 75 ER - TY - JOUR ID - Brazier.ea:01*4 T1 - Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation A1 - Brazier, F. M. T. A1 - van Eck, P. A. T. A1 - Treur, J. JA - Journal of Applied Intelligence Y1 - 2001 VL - 14 SP - 161 EP - 178 N2 - In this paper, the compositional multi-agent modelling framework DESIRE is not only successfully used to develop a conceptual specification of the simple agents discussed in (Cesta et al. 1996), but also to simulate the behaviour in a dynamic environment. In the DESIRE framework, a conceptual specification, which provides a high-level view of an agent, has enough detail for automatic prototype generation. The prototype implementation of the conceptual specification of the simple agents has been used to replicate and extend one of the experiments reported in (Cesta et al. 1996). ER - TY - CHAP ID - Brazier.ea:01*5 T1 - Deliberate Evolution in Multi-Agent Systems A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Gabbay, D. ED - Smets, Ph. T3 - Series in Defeasible Reasoning and Uncertainty Management System Y1 - 2001 VL - 6 M1 - Inbook SP - 363 EP - 380 PB - Kluwer Academic Publishers N2 - Evolution of automated systems, in particular evolution of automated agents based on agent deliberation, is the topic of this paper. Evolution is not a merely material process, it requires interaction within and between individuals, their environments and societies of agents. An architecture for an individual agent capable of (1) deliberation about the creation of new agents, and (2) (run-time) creation of a new agent on the basis of this, is presented. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both design structures of agents and (behavioural) properties of agents. The process of deliberation is based on an existing generic reasoning model of design. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation. ER - TY - CONF ID - Brazier.ea:01*6 T1 - Strategies for integrating multiple viewpoints and levels of detail A1 - Brazier, F. M. T. A1 - van Splunter, S. A1 - Wijngaards, N. J. E. ED - Gero, J. S. TI - Strategic Knowledge and Concept Formation III Y1 - 2001/12 SP - 103 EP - 128 PB - Key Centre of Design, Computing and Cognition, University of Sydney N2 - Automated design requires explicit representation of strategic knowledge. This paper focuses on strategic knowledge needed to reason with and about viewpoints during the design of a software agent. Reasoning with and about viewpoints entails not only deciding which viewpoint to consider when and in which context, but also at which level of detail. In this paper an information retrieval agent is used to illustrate how these types of knowledge can be used to design software agents. ER - TY - CONF ID - Brazier.ea:01*7 T1 - Designing Self-Modifying Agents A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Gero, J. S. TI - Computational and Cognitive Models of Creative Design V Y1 - 2001/12 SP - 93 EP - 112 PB - Key Centre of Design Computing and Cognition, University of Sydney N2 - Agents need to be able to adapt to changes in their environment. One way to achieve this, is to provide agents with the ability of self-modification. Self-modification requires reflection and strategies with which new knowledge can be acquired, a necessary condition for creativity. This paper describes a knowledge-level model for the design of self-modifying agents and explores the feasibility of automatically designing self-modifying agents. ER - TY - CONF ID - Brazier.ea:01*8 T1 - On MAS Scalability A1 - Brazier, F. M. T. A1 - van Steen, M. A1 - Wijngaards, N. J. E. ED - Wagner, T. ED - Rana, O. TI - Proceedings of Second International Workshop on Infrastructure for Agents, MAS, and Scalable MAS Y1 - 2001/5 SP - 121 EP - 126 PB - University of Montreal N2 - In open dynamic multi-agent environments the number of agents can vary signi cantly within very short periods of time. Very few (if any) current multi-agent systems have, however, been designed to cope with large-scale distributed applications. Scalability requires increasing numbers of new agents and resources to have no noticeable effect on performance nor to increase administrative complexity. In this paper a number of implications for techniques and management are discussed. Current research on agent middleware is briefly described. ER - TY - CONF ID - Oskamp.ea:01 T1 - Intelligent agents for lawyers A1 - Oskamp, A. A1 - Brazier, F. M. T. TI - Proceedings of the Workshop Legal Knowledge Systems in Action: Practical AI in Today's Law Offices Y1 - 2001 SP - 5 AD - St. Louis, MO. ER - TY - CONF ID - Brazier.ea:01*9 T1 - Automated servicing of agents A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Kudenko, D. TI - Proceedings of the AISB-01 Symposium on Adaptive Agents and Multi-agent systems, at the Agents and Cognition AISB-01 conference Y1 - 2001/3 SP - 54 EP - 64 PB - The society for the study of artificial intelligence and the simulation of behaviour N2 - Agents need to be able to adapt to changes in their environment. One way to achieve this, is to service agents when needed. A separate servicing facility, a multi-agent factory, is capable of automatically modifying agents. This paper discusses the feasibility of automated servicing. M1 - isn={1.902956.17.0} ER - TY - CONF ID - Overeinder.ea:01*1 T1 - Spatio-Temporal Correlations and Rollback Distributions in Optimistic Simulations A1 - Overeinder, B. J. A1 - Schoneveld, A. A1 - Sloot, P. M. A. TI - Proceedings of the 15th Workshop on Parallel and Distributed Simulation Y1 - 2001/5 SP - 145 EP - 152 AD - Lake Arrowhead, CA ER - TY - CONF ID - Marin.ea:01 T1 - Towards Adaptive Fault-Tolerance For Distributed Multi-Agent Systems A1 - Marin, O. A1 - Sens, P. A1 - Briot, J. -P. A1 - Guessoum, Z. TI - Proceedings of the 3rd. European Research Seminar on Advanced Distributed Systems (ERSADS'2001) Y1 - 2001/5 SP - 195 EP - 201 ER - TY - CHAP ID - Overeinder:01 T1 - Grid-gebaseerd rekenen: Van veldwerk naar computer experiment A1 - Overeinder, B. J. ED - Bloemen, M. Y1 - 2001 M1 - Inbook SP - 60 EP - 62 PB - Alterra, Wageningen-UR AD - Wageningen, The Netherlands ER - TY - CONF ID - Overeinder.ea:01*2 T1 - Spatio-Temporal Correlations and Rollback Distributions in Optimistic Simulations A1 - Overeinder, B. J. A1 - Schoneveld, A. A1 - Sloot, P. M. A. ED - Lagendijk, R. L. ED - Heijnsdijk, J. W. J. ED - Pimentel, A. D. ED - Wilkinson, M. H. F. TI - Proceedings of the 7th Annual Conference of the Advanced School for Computing and Imaging Y1 - 2001/5 SP - 391 EP - 398 M1 - isn={90-803086-6-8} ER - TY - CHAP ID - Sloot.ea:01*1 T1 - Distributed Cellular Automata: Large Scale Simulation of Natural Phenomena A1 - Sloot, P. M. A. A1 - Kaandorp, J. A. A1 - Hoekstra, A. G. A1 - Overeinder, B. J. ED - Zomaya, A. ED - Ercal, F. ED - Olariu, S. T3 - Wiley Series on Parallel and Distributed Computing Y1 - 2001 M1 - Inbook SP - 1 EP - 46 PB - Wiley AD - New York ER - TY - CHAP ID - Brazier.ea:01*10 T1 - Modelling Internal Dynamic Behaviour of BDI Agents A1 - Brazier, F. M. T. A1 - Dunin-Keplicz, B. M. A1 - Treur, J. A1 - Verbrugge, R. ED - Gabbay, D. ED - Smets, Ph. T3 - Series in Defeasible Reasoning and Uncertainty Management System Y1 - 2001 VL - 6 M1 - Inbook SP - 339 EP - 361 PB - Kluwer Academic Publishers N2 - A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE. ER - TY - CONF ID - Brazier.ea:01*11 T1 - Distributed Shared Agent Representations A1 - Brazier, F. M. T. A1 - van Steen, M. A1 - Wijngaards, N. J. E. ED - Krose, B. ED - de Rijke, M. ED - Schreiber, A. Th. ED - van Someren, M. TI - Proceedings of the 13th Dutch-Belgian AI Conference Y1 - 2001 SP - 77 N1 - Extended abstract of AEMAS2001 publication ER - TY - RPRT ID - Boonstra:01 T1 - Templates for Agents A1 - Boonstra, H. M. Y1 - 2001/12 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - Supervisors: prof.dr. F.M.T. Brazier & dr. N.J.E. Wijngaards Referee: prof.dr. M. van Steen ER - TY - RPRT ID - Cristo:01 T1 - Community Building and Multi-Agent Systems: A1 - Cristo, D. Y1 - 2001/8 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - Supervisors: dr. N.J.E. Wijngaards & prof.dr. F.M.T. Brazier Referee: dr. B.J. Overeinder ER - TY - RPRT ID - Mobach:01 T1 - An Agent (re-)configuration model using templates for agent design A1 - Mobach, D. G. A. Y1 - 2001/1 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - Supervisors: prof.dr. F.M.T. Brazier & N.J.E. Wijngaards Referee: prof.dr. M. van Steen ER - TY - RPRT ID - Splunter:01 T1 - Strategic Automated Agent Design A1 - van Splunter, S. Y1 - 2001/12 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: dr. N.J.E. Wijngaards & prof.dr. F.M.T. Brazier Referee: dr. B.J. Overeinder ER - TY - RPRT ID - Vries:01 T1 - Trading Agents & Strategies A1 - de Vries, W. H. R. Y1 - 2001/8 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - Supervisors: prof.dr. F.M.T. Brazier & dr. N.J.E. Wijngaards Referee: dr. B.J. Overeinder ER - TY - JOUR ID - Brazier.ea:00 T1 - Compositional Design and Reuse of a Generic Agent Model A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. JA - Applied Artificial Intelligence Journal Y1 - 2000 VL - 14 IS - 5 SP - 491 EP - 538 N2 - This paper introduces a formally specified design of a compositional generic agent model (GAM). This agent model abstracts from specific application domains; it provides a unified formal definition of a model for weak agenthood. It can be (re)used as a template or pattern for a large variety of agent types and application domain types. The model was designed on the basis of experiences in a number of application domains. The compositional development method DESIRE was used to design the agent model GAM at a conceptual and logical level. It serves as a unified, precisely defined coneptual structure which can be refined by specialisation and instantiation to a large variety of other, more specific agents. To illustrate reuse of this agent model, specialisation and instantiation to model co operative information gathering agents is described in depth. Moreover, it is shown how GAM can be used to describe in a unified and hence more comparable manner a large number of agent architectures from the literature. ER - TY - JOUR ID - Brazier.ea:00*1 T1 - Compositional Specification of a Reusable Co-operative Agent Model A1 - Brazier, F. M. T. A1 - Cornelissen, F. A1 - Jonker, C. M. A1 - Treur, J. JA - International Journal of Cooperative Information Systems Y1 - 2000 VL - 9 SP - 171 EP - 207 N2 - In this paper one of the informally described models of agent co-operation (Jennings, 1995) has been used to develop and formally specify a generic model of a co-operative agent (GCAM). The compositional development method for multi-agent systems DESIRE supported the principled design of this model of cooperation. To illustrate reusability of the generic model, two application domains have been addressed: collaborative engineering design, and Call Center support. ER - TY - JOUR ID - Brazier.ea:00*2 T1 - On the use of shared task models in knowledge acquisition, strategic user interaction and clarification agents A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. JA - International journal of human-computer studies Y1 - 2000/1 VL - 52 IS - 1 SP - 77 EP - 110 N2 - In this paper three different roles of a shared task model as an intermediate representation of a task are presented and illustrated by applications developed in cooperation with industry. First the role of a shared task model in knowledge acquisition is discussed. In one of the two applications, decision support in the domain of soil sanitation, one of the existing generic task models for diagnostic reasoning provided a means to structure knowledge acquisition. In the second application, diagnosis of chemical processes, the acquisition process resulted in a shared task model for diagnostic reasoning on Nylon-6 production. Secondly, the role of a shared task model in designing user interaction is addressed. Three levels of interaction are considered of importance: interaction at the object level, at the level of strategic preferences, and at the level of task modification. In an application in the domain of environmental decision making, this led to the design of a user interface based on the acquired shared task model, within which all three levels of interaction were available to users. Finally, the role of shared task models within a multi-agent system including a clarification agent is addressed. Two software agents were designed that each share a task model with the user: one for a diagnosis task, and one for a clarification task. The shared model of the clarification task reflects the shared task model of diagnosis; clarification includes clarification of the overall diagnostic reasoning process. The multi-agent architecture presented has been developed to support a user both at the level of the diagnostic task he or she is performing and at the level of clarification. The architecture has been applied to diagnosis of chemical processes. ER - TY - JOUR ID - Bal.ea:00 T1 - The Distributed ASCI supercomputer project A1 - Bal, H. E. A1 - Bhoedjang, R. A. F. A1 - Hofman, R. F. H. A1 - Jacobs, C. J. H. A1 - Kielmann, T. A1 - Maassen, J. A1 - van Nieuwpoort, R. A1 - Romein, J. A1 - Renambot, L. A1 - Ruhl, T. A1 - Veldema, R. A1 - Verstoep, K. A1 - Baggio, A. A1 - Ballintijn, G. A1 - Kuz, I. A1 - Pierre, G. A1 - van Steen, M. A1 - Tanenbaum, A. S. A1 - Doornbos, G. A1 - Germans, D. A1 - Spoelder, H. A1 - Baerends, E. -J. A1 - van Gisbergen, S. A1 - Afsarmanesh, H. A1 - van Albada, G. D. A1 - Belloum, A. S. Z. A1 - Dubbeldam, D. A1 - Hendrikse, Z. W. A1 - Hertzberger, L. O. A1 - Hoekstra, A. G. A1 - Iskra, K. A. A1 - Kandhai, B. D. A1 - Koelma, D. C. A1 - van der Linden, F. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. A1 - Spinnato, P. F. A1 - Epema, D. H. J. A1 - van Gemund, A. A1 - Jonker, P. P. A1 - Radulescu, A. A1 - van Reeuwijk, C. A1 - Sips, H. J. A1 - Knijnenburg, P. M. W. A1 - Lew, M. A1 - F.Sluite, A1 - Wolters, L. A1 - Blom, H. A1 - van der Steen, A. JA - Operating Systems Review Y1 - 2000/10 VL - 34 IS - 4 SP - 76 EP - 96 N1 - Association for Computing Machinery, Special Interest Group on Operating Systems ER - TY - JOUR ID - Iskra.ea:00 T1 - The Implementation of Dynamite: An Environment for Migrating PVM Tasks A1 - Iskra, K. A. A1 - van der Linden, F. A1 - Hendrikse, Z. W. A1 - Overeinder, B. J. A1 - van Albada, G. D. A1 - Sloot, P. M. A. JA - Operating Systems Review Y1 - 2000/7 VL - 34 IS - 3 SP - 40 EP - 55 N1 - Association for Computing Machinery, Special Interest Group on Operating Systems ER - TY - MGZN ID - Brazier.ea:00*3 T1 - Managing Conflicts in Reflective Agents A1 - Brazier, F. M. T. A1 - Treur, J. ED - Dieng, R. ED - Mueller, H. -J. TI - Computational Conflicts: Conflict Modeling as a Primary Design Technique for Distributed Systems T3 - Lecture Notes in AI Y1 - 2000 M1 - Incollection SP - 63 EP - 81 PB - Springer Verlag N2 - This chapter addresses management of conflicts in an agent by means of reflective reasoning. A structure for reflective agents is proposed within which reasoning about observation, assumption making and communication; an agent's own information state and reasoning processes; other agents' information states and reasoning processes, and combinations of these types of reflective reasoning are explicitly modelled. The types of knowledge needed to detect, analyse and resolve conflicts that arise by meta-reasoning within the agent are discussed. The knowledge and interaction between agents required to model the wise men's puzzle is used to illustrate the approach. ER - TY - CONF ID - Brazier.ea:00*4 T1 - Deliberate Evolution in Multi-Agent Systems A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Gero, J. S. TI - Proceedings of the Sixth International Conference on AI in Design, AID'2000 Y1 - 2000/6 SP - 633 EP - 650 PB - Kluwer Academic Publishers N2 - This paper presents an architecture for an agent capable of deliberation about the creation of new agents, and of actually creating a new agent in the multi-agent system, on the basis of this deliberation. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both design structures of agents and (behavioural) properties of agents that can be used as requirements. The process of deliberation is modelled as a design process, based on an existing generic design model. To actually create a new agent at run-time on the basis of the design results, the agent executes a creation action in the material world, which leads to a world state update to include the new agent, after which the new agent functions within the multi-agent system. This approach enables the design of evolution processes in societies of agents for which the evolution is not a merely material process which takes place in isolation from the mental worlds of the agents, but allows for interaction between mental and material processes. A combined mind-matter approach results in which the agents in a society can deliberatively influence the direction of the evolution, comparable to the potential offered by genetic engineering. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation. ER - TY - CONF ID - Iskra.ea:00*1 T1 - Experiments with Migration of PVM Tasks A1 - Iskra, K. A. A1 - Hendrikse, Z. W. A1 - van Albada, G. D. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. TI - Proceedings of the ISThmus2000 Conference: Research and Development for the Information Society Y1 - 2000 SP - 295 EP - 304 AD - Poznan, Poland M1 - isn={83-913639-0-2} ER - TY - CONF ID - Iskra.ea:00*2 T1 - Performance Measurements on Dynamite/DPVM A1 - Iskra, K. A. A1 - Hendrikse, Z. W. A1 - van Albada, G. D. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Dongarra, J. J. ED - Kacsuk, P. ED - Podhorszki, N. TI - Recent Advances in PVM and MPI: Proceedings of the 7th European PVM/MPI User's Group Meeting T3 - Lecture Notes in Computer Science Y1 - 2000/9 VL - 1908 SP - 27 EP - 38 PB - Springer Verlag, Berlin AD - Balatonf\"ured, Hungary ER - TY - CONF ID - Iskra.ea:00*3 T1 - Experiments with migration of message passing tasks A1 - Iskra, K. A. A1 - Hendrikse, Z. W. A1 - van Albada, G. D. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. A1 - Gehring, J. ED - Buyya, R. ED - Baker, M. TI - Grid Computing -- GRID 2000: The First IEEE/ACM International Workshop T3 - Lecture Notes in Computer Science Y1 - 2000/12 VL - 1971 SP - 203 EP - 213 PB - Springer Verlag, Berlin ER - TY - CONF ID - Iskra.ea:00*4 T1 - Dynamic Migration of PVM Tasks A1 - Iskra, K. A. A1 - Hendrikse, Z. W. A1 - van Albada, G. D. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - van Vliet, L. C. ED - Heijnsdijk, J. W. J. ED - Kielmann, T. ED - Knijnenburg, P. M. W. TI - ASCI 2000, Proceedings of the sixth annual conference of the Advanced School for Computing and Imaging Y1 - 2000/6 SP - 206 EP - 212 M1 - isn={90-803086-5-x} ER - TY - THES ID - Overeinder:00 T1 - Distributed Event-driven Simulation - Scheduling Strategies and Resource Management A1 - Overeinder, B. J. Y1 - 2000/11 M1 - Phdthesis T2 - Department of Computer Science, University of Amsterdam AD - Amsterdam, The Netherlands N1 - Promotor: Prof. Dr. P.M.A. Sloot, Co-promotor: Prof. Dr. M. Livny ER - TY - JOUR ID - Brazier.ea:99 T1 - Temporal semantics of compositional task models and problem solving methods A1 - Brazier, F. M. T. A1 - Treur, J. A1 - Wijngaards, N. J. E. A1 - Willems, M. JA - Data and Knowledge Engineering Y1 - 1999 VL - 29 IS - 1 SP - 17 EP - 42 N2 - Task models and problem solving methods can be specified informally or formally. In recent years various approaches have formalized their notion of task model or problem solving method. Most modelling approaches concentrate on the form of a task model or problem solving method rather than on their precise semantics; a formalisation is often only a syntactical formalisation. A more precise definition of the semantics requires explication of the control of a system s behaviour. In this paper temporal semantics is defined for a compositional modelling approach to task models and problem solving methods. The semantics is a description of a compositional system s behaviour; a temporal approach provides a means to describe the dynamics involved. The formalisation of the semantics is based on compositional three-valued temporal models. The compositional structure of information states, transitions and reasoning traces provides a transparant model of the system s behaviour, both conceptually and formally. ER - TY - JOUR ID - Brazier.ea:99*1 T1 - Distributed Scheduling to Support a Call Centre: a Co-operative Multi-Agent Approach A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Jungen, F. J. A1 - Treur, J. ED - Nwana, H. S. ED - Ndumu, D. T. JA - Applied Artificial Intelligence Journal Y1 - 1999 VL - 13 SP - 65 EP - 90 N1 - Special Issue on Multi-Agent Systems N2 - This paper describes a multi-agent system architecture to increase the value of 24 hour a day call centre service. This system supports call centres in making appointments with clients on the basis of knowledge of employees and their schedules. Relevant activities of employees are scheduled for employees in preparation of such appointments. The multi-agent system architecture is based on principled design, using the compositional development method for multi agent systems DESIRE. To schedule procedures in which more than one employee is involved, each employee is represented by its own personal assistant agent, and a work manager agent co-ordinates the schedules of the personal assistant agents, and clients through the call centre. The multi agent system architecture has been applied to the banking domain, in co-operation with and partially funded by the Rabobank. ER - TY - JOUR ID - Brazier.ea:99*2 T1 - Compositional Modelling of Reflective Agents A1 - Brazier, F. M. T. A1 - Treur, J. JA - International Journal of Human-Computer Studies Y1 - 1999 VL - 50 SP - 407 EP - 431 N2 - In this paper a compositional model for reflective agents is proposed within which reasoning about observation, assumption making and communication; an agent s own information state and reasoning processes; other agents information states and reasoning processes, and combinations of these types of reflective reasoning are explicitly modelled. The types of knowledge needed to detect, analyse and resolve conflicts that arise by meta-reasoning within the agent are discussed. The knowledge and interaction between agents required to model the wise men s puzzle is used to illustrate the approach. The model has been validated using think-aloud protocols. An implementation has been made including a speech synthesis facility. M1 - publisher_url={http://www.idealibrary.com/links/doi/10.1006/ijhc.1999.0249} ER - TY - CONF ID - Herlea.ea:99 T1 - A Formal Knowledge Level Process Model of Requirements Engineering A1 - Herlea, D. E. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Imam, I. ED - Kodratoff, Y. ED - El-Dessouki, A. ED - Ali, M. TI - Multiple approaches to intelligent systems Proceedings of the 12th International Conference on Industrial and EngineeringApplications of AI and Expert Systems, IEA/AIE'99 T3 - Lecture Notes in AI Y1 - 1999 VL - 1611 SP - 869 EP - 878 PB - Springer Verlag N2 - In current literature few detailed process models for Requirements Engineering are presented: usually high-level activities are distinguished, without a more precise specification of each activity. In this paper the process of Requirements Engineering has been analyzed using knowledgelevel modelling techniques, resulting in a well-specified compositional process model for the Requirements Engineering task. ER - TY - CONF ID - Jacobsen.ea:99 T1 - The Comparative Evaluation of a Classroom and Distance Industrial Software Engineering Graduate Course A1 - Jacobsen, M. D. A1 - Wijngaards, N. J. E. A1 - Kremer, R. C. A1 - Shaw, M. A1 - Gaines, B. R. TI - Proceedings of the International Conference on Mathematics/Science Education & Technology M/SET-99, Session #1188 Y1 - 1999 SP - 6 PB - Association for the Advancement of Computing in Education N2 - This paper describes the extent to which we achieved our original objectives with a distance-based learning model for a graduate course in software engineering. The approach taken to compare concurrent local and distance learning environments includes evaluations from three perspectives: 1) the teachers, 2) the learners, and 3) technical support. As a result of the current experiment, our next experiment will be focussed on a distance-only offering of a graduate course. ER - TY - CONF ID - Jacobsen.ea:99*1 T1 - The Learning Web: A Comparison of Learning Environments in Concurrent Classroom and Distance Education Sections of a Software Engineering Graduate Course A1 - Jacobsen, M. D. A1 - Wijngaards, N. J. E. A1 - Kremer, R. C. A1 - Shaw, M. TI - World Conference on Educational Multimedia/Hypermedia & Educational Telecommunication Y1 - 1999/6 ER - TY - CONF ID - Kremer.ea:99 T1 - The Learning Web: The Instructor's Experience In Concurrent Classroom and Distance Education Sections of a Software Engineering Graduate Course A1 - Kremer, R. C. A1 - Jacobsen, M. D. A1 - Wijngaards, N. J. E. A1 - Shaw, M. TI - World Conference on Educational Multimedia/Hypermedia & Educational Telecommunication Y1 - 1999/6 ER - TY - CONF ID - Kremer.ea:99*1 T1 - The Learning Web: A Technical Evaluation of WebCT in Concurrent Classroom and Distance Education Sections of a Software Engineering Graduate Course A1 - Kremer, R. C. A1 - Jacobsen, M. D. A1 - Wijngaards, N. J. E. A1 - Shaw, M. TI - World Conference on Educational Multimedia/Hypermedia & Educational Telecommunication Y1 - 1999/6 ER - TY - CONF ID - Albada.ea:99 T1 - Dynamite---Blasting Obstacles to Parallel Cluster Computing A1 - van Albada, G. D. A1 - Clinckemaillie, J. A1 - Emmen, A. H. L. A1 - Gehring, J. A1 - Heinz, O. A1 - van der Linden, F. A1 - Overeinder, B. J. A1 - Reinefeld, A. A1 - Sloot, P. M. A. ED - Sloot, P. M. A. ED - Bubak, M. ED - Hoekstra, A. G. ED - Hertzberger, L. O. TI - High-Performance Computing and Networking (HPCN Europe '99) T3 - Lecture Notes in Computer Science Y1 - 1999/4 VL - 1593 SP - 300 EP - 310 PB - Springer-Verlag, Berlin M1 - isn={3-540-65821-1} ER - TY - CONF ID - Overeinder.ea:99 T1 - Extensions to Time Warp Parallel Simulation for Spatial Decomposed Applications A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Al-Dabass, D. ED - Cheng, R. TI - Proceedings of the Fourth United Kingdom Simulation Society Conference (UKSim 99) Y1 - 1999/4 SP - 67 EP - 73 AD - Cambridge, UK ER - TY - CONF ID - Sloot.ea:99 T1 - Time Warped Automata: Parallel Discrete Event Simulation of Asynchronous CA's A1 - Sloot, P. M. A. A1 - Overeinder, B. J. ED - Wyrzykowski, R. ED - Mochnacki, B. ED - Piech, H. ED - Szopa, J. TI - Proceedings of the Third International Conference on Parallel Processing and Applied Mathematics Y1 - 1999/9 SP - 43 EP - 62 AD - Kazimierz Dolny, Poland M1 - isn={83-911994-0-1} ER - TY - CONF ID - Brazier.ea:99*3 T1 - Deliberate Evolution in Multi-Agent Systems A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Etzioni, O. ED - Mueller, J. P. ED - Bradshaw, J. TI - Proceedings of the Third Annual Conference on Autonomous Agents, Agents'99 Y1 - 1999 SP - 356 EP - 357 PB - ACM Press N1 - Extended version: Report SEN-R9836, CWI, Amsterdam, 1998 N2 - This paper presents an architecture for an agent capable of deliberation about the creation of new agents, and of actually creating a new agent in the multi-agent system, on the basis of this deliberation. After its creation the new agent participates fully in the running multi-agent system. The agent architecture is based on an existing generic agent model, and includes explicit formal conceptual representations of both structures of agents and (behavioural) properties of agents that can be used as requirements. Moreover, to support the deliberation process the agent has explicit knowledge of refinement relations between properties and knowledge of relations between structure and properties of agents. To actually create a new agent at run-time on the basis of the results of deliberation, the agent executes a creation action in the material world, which leads to a world state update to include the new agent, after which the new agent functions within the multi-agent system. This approach enables the design of evolution processes in societies of agents for which the evolution is not a merely material process which takes place in isolation from the mental worlds of the agents, but allows for interaction between mental and material processes. A combined mind-matter approach results in which the agents in a society can deliberatively influence the direction of the evolution, comparable to the potential offered by genetic engineering. The architecture has been designed using the compositional development method DESIRE, and has been tested in a prototype implementation. ER - TY - CONF ID - Herlea.ea:99*1 T1 - Integration of Behavioural Requirements Specification within a Knowledge Engineering Methodology A1 - Herlea, D. E. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Fensel, D. ED - Studer, R. TI - Proceedings of the 11th European Workshop on Knowledge Acquisition, Modelling and Management, EKAW'99 T3 - Lecture Notes in AI Y1 - 1999 VL - 1621 SP - 173 EP - 190 PB - Springer Verlag N2 - It is shown how specification of behavioural requirements from informal to formal can be integrated within knowledge engineering. The integration of requirements specification has addressed, in particular: the integration of requirements acquisition and specification with ontology acquisition and specification, the relations between requirements specifications and specifications of task models and problem solving methods, and the relation of requirements specification to verification. ER - TY - CONF ID - Brazier.ea:99*4 T1 - Modelling Internal Dynamic Behaviour of BDI agents A1 - Brazier, F. M. T. A1 - Dunin-Keplicz, B. M. A1 - Treur, J. A1 - Verbrugge, R. ED - Meijer, J. J. ED - Schobbens, P. Y. TI - Formal Models of Agents: ESPRIT project MogelAge final workshop T3 - Lecture Notes in AI Y1 - 1999 VL - 1760 SP - 36 EP - 56 PB - Springer Verlag N2 - A generic model for the internal dynamic behaviour of BDI agents is proposed. This model, a refinement of a generic agent model, explicitly specifies beliefs and motivational attitudes such as desires, goals, intentions, commitments, and plans, and their relations. A formal meta-language is used to represent beliefs, motivational attitudes and strategies. Dynamic aspects of reasoning about and revision of beliefs and motivational attitudes are modelled in a compositional manner within the modelling framework DESIRE. ER - TY - CONF ID - Sloot.ea:99*1 T1 - Distributed Simulation with Cellular Automata: Architecture and Applications A1 - Sloot, P. M. A. A1 - Kaandorp, J. A. A1 - Hoekstra, A. G. A1 - Overeinder, B. J. ED - Pavelka, J. ED - Tel, G. ED - Bartosek, M. TI - SOFSEM'99 Theory and Practice of Informatics, Proceedings of 26th Seminar on Current Trends, in Theory and Practice of Informatics T3 - Lecture Notes on Computer Science Y1 - 1999/11 VL - 1725 SP - 203 EP - 249 PB - Springer Verlag, Berlin M1 - isn={3-540-66694-X.} ER - TY - CONF ID - Flores.ea:99 T1 - Primitive Interaction Protocols for Agents in a Dynamic Environment A1 - Flores, R. A. A1 - Wijngaards, N. J. E. ED - Gaines, B. R. ED - Kremer, R. C. ED - Musen, M. A. TI - Proceedings of the 12th Workshop on Knowledge Acquisition, Modelingand Management (KAW'99) Y1 - 1999/10 VL - 1 SP - 3-2-1 - 3- ER - TY - CONF ID - Herlea.ea:99*2 T1 - Specification of Behavioural Requirements within Compositional Multi-Agent System Design A1 - Herlea, D. E. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Garijo, F. ED - Boman, M. TI - Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'99 T3 - Lecture Notes in AI Y1 - 1999 VL - 1647 SP - 8 EP - 27 PB - Springer Verlag, Berlin N2 - In this paper it is shown how informal and formal specification of behavioural requirements and scenarios for agents and multi-agent systems can be integrated within multi-agent system design. In particular, it is addressed how a compositional perspective both on design descriptions and specification of behavioural requirements can be exploited. The approach has been applied in a case study: the development of a mediating information agent. It is shown that compositional verification benefits from the integration of requirements engineering within the design process. ER - TY - THES ID - Wijngaards:99 T1 - Re-design of compositional systems A1 - Wijngaards, N. J. E. Y1 - 1999/9 M1 - Phdthesis T2 - Vrije Universiteit N1 - Promotor: Prof.dr. Jan Treur Co-promotor: dr. Frances Brazier M1 - isn={90-9012977-4} ER - TY - CONF ID - Overeinder.ea:99*1 T1 - Extensions to Time Warp Parallel Simulation for Spatially Decomposed Applications A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Boasson, M. ED - Kaandorp, J. A. ED - Tonino, J. F. M. ED - Vosselman, M. G. TI - Proceedings of the Fifth Annual Conference of the Advanced School for Computing and Imaging Y1 - 1999/6 SP - 118 EP - 124 AD - Heijen, The Netherlands ER - TY - JOUR ID - Aylett.ea:98 T1 - Agent Systems and Applications A1 - Aylett, R. A1 - Brazier, F. M. T. A1 - Jennings, N. R. A1 - Luck, M. A1 - Preist, C, A1 - Nwana, H. S. JA - The Knowledge Engineering Review Y1 - 1998 VL - 13 IS - 3 SP - 303 EP - 308 ER - TY - JOUR ID - Brazier.ea:98 T1 - Strategic Knowledge in Design: a Compositional Approach A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. ED - Hori, K. JA - Knowledge-based Systems Y1 - 1998 VL - 11 SP - 405 EP - 416 N1 - Special Issue on Strategic Knowledge and Concept Formation N2 - In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at these levels. In this paper three levels of strategic interaction and strategic knowledge are identified within a compositional model of design. These levels are identified in reasoning about the manipulation of requirements and their qualifications, reasoning about the manipulation of design object descriptions and reasoning about design process co-ordination. Instances of strategic knowledge illustrate the different levels. ER - TY - JOUR ID - Halderen.ea:98 T1 - Hierarchical Resource Management in the Polder Metacomputing Initiative A1 - van Halderen, Berry A. W. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. A1 - van Dantzig, R. A1 - Epema, D. H. J. A1 - Livny, M. JA - Parallel Computing Y1 - 1998/11 VL - 24 IS - 12/13 SP - 1807 EP - 1825 ER - TY - JOUR ID - Halderen.ea:98*1 T1 - Fornax: Web-based Distributed Discrete Event Simulation in Java A1 - van Halderen, Berry A. W. A1 - Overeinder, B. J. JA - Concurrency: Practice and Experience Y1 - 1998/ VL - 10 IS - 11-13 SP - 957 EP - 970 N1 - Special issue on the Workshop on Java for High-Performance Network Computing ER - TY - CONF ID - Jacobsen.ea:98 T1 - The Comparative Evaluation of a Classroom and Distance Industrial Software Engineering Graduate Course A1 - Jacobsen, M. D. A1 - Kremer, R. C. A1 - Shaw, M. A1 - Wijngaards, N. J. E. TI - TeleLearning 1998 - Building Global Telelearning Communities Y1 - 1998/11 ER - TY - CONF ID - Brazier.ea:98*1 T1 - Agents Negotiating for Load Balancing of Electricity Use A1 - Brazier, F. M. T. A1 - Cornelissen, F. A1 - Gustavsson, R. A1 - Jonker, C. M. A1 - Lindeberg, O. A1 - Polak, B. A1 - Treur, J. ED - Papazoglou, M. P. ED - Takizawa, M. ED - Kr\"amer, B. ED - Chanson, S. TI - Proceedings of the 18th International Conference on Distributed Computing Systems, ICDCS'98, IEEE Y1 - 1998 SP - 622 EP - 629 PB - Computer Society Press N1 - Extended abstract in: H.S. Nwana and D.T. Ndumu (eds.), Proceedings of the Third International Conference on the Practical Application of Intelligent Agents and Multi-Agent Technology, PAAM'98, The Practical Application Company Ltd, 1998, pp. 551-554. N2 - In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous samples of plant species. Techniques from the area of non-monotonic reasoning are applied to model multi-interpretable input information. ER - TY - CONF ID - Brazier.ea:98*2 T1 - Compositional Design and Verification of a Multi-Agent System for One-to-Many Negotiation A1 - Brazier, F. M. T. A1 - Cornelissen, F. A1 - Gustavsson, R. A1 - Jonker, C. M. A1 - Lindeberg, O. A1 - Polak, B. A1 - Treur, J. TI - Proceedings of the Third International Conference on Multi-Agent Systems, ICMAS'98 Y1 - 1998 SP - 49 EP - 56 PB - IEEE Computer Society Press N2 - A compositional verification method for multi-agent systems is presented and applied to a multi-agent system for one-to-many negotiation in the domain of load balancing of electricity use. Advantages of the method are that the complexity of the verification process is managed by compositionality, and that parts of the proofs can be reused in relation to reuse of components. ER - TY - CONF ID - Beusekom:98 T1 - Development of an ecological decision support system A1 - van Beusekom, F. ED - del Pobil, A. P. ED - Mira, J. ED - Ali, M. TI - Tasks and Methods in Applied Artificial Intelligence (Proceedings of the 11th International Conference on Industrial and Engineering Applications of AI and Expert Systems, IEA/AIE'98, vol. II) T3 - Lecture Notes in AI Y1 - 1998 VL - 1416 SP - 815 EP - 825 PB - Springer Verlag N2 - In this paper a knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of in-homogeneous samples of plant species. Techniques from the area of non-monotonic reasoning were applied to model multi-interpretable input information. ER - TY - CONF ID - Brazier.ea:98*3 T1 - Analysis of multi-interpretable ecological monitoring information A1 - Brazier, F. M. T. A1 - Engelfriet, J. A1 - Treur, J. ED - Hunter, A. ED - Parsons, S. TI - Applications of Uncertainty Formalisms T3 - Lecture Notes in AI Y1 - 1998 VL - 1455 SP - 303 EP - 324 PB - Springer Verlag N2 - In this paper logical techniques developed to formalise the analysis of multi-interpretable information, in particular belief set operators and selection operators, are applied to an ecological domain. A knowledge-based decision support system is described that determines the abiotic (chemical and physical) characteristics of a site on the basis of samples of plant species that are observed. The logical foundation of this system is described in terms of a belief set operator and a selection operator. M1 - publisher_url={http://www.tandf.co.uk/journals/tf/08839514.html} ER - TY - CONF ID - Brazier.ea:98*4 T1 - An Agent Architecture for Dynamic Re-design of Agents A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Rodgers, P. ED - Huxor, A. TI - Proc. of the AID'98 Workshop on Distributed Web-based Design Tools Y1 - 1998 N1 - Extended abstract in: Y. Demazeau (ed.),Proceedings of the Third International Conference on Multi-Agent Systems,ICMAS'98, IEEE Computer Society Press, 1998, pp. 401-402 N2 - This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and includes a refinement of a generic model for design, in which strategic reasoning and dynamic management of requirements are explicitly modelled. This model is refined for the design of agents, or (parts of) multi-agent systems. It includes an explicit formal representation at a logical level of (1) requirements that can be formulated for agents and multi-agent systems, and (2) design object descriptions of a (part of a) multi-agent system. The generic architecture has been formally specified in DESIRE, and has been tested in a prototype application. ER - TY - CONF ID - Brazier.ea:98*5 T1 - On the role of abilities of agents in redesign A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Gaines, B. R. ED - Musen, M. A. TI - Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98 Y1 - 1998 SP - 16 PB - SRDG Publications, Department of Computer Science, University of Calgary N2 - Abilities of agents and properties of their environment provide a means to describe behaviour and functionality. These abilities also provide a basis for re-design. In this paper an example is given of a prototype system for re-design of a multi-agent system in which the abilities and properties are made explicit. ER - TY - CONF ID - Brazier.ea:98*6 T1 - An instrument for a Purpose Driven Comparison of Modelling Frameworks A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Gaines, B. R. ED - Musen, M. A. TI - Proceedings of the 11th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'98 Y1 - 1998 SP - 18 PB - SRDG Publications, Department of Computer Science, University of Calgary N1 - Extended version ER - TY - CONF ID - Brazier.ea:98*7 T1 - Compositional Design of a Generic Design Agent A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Luger, G. TI - Proc. Of the AAAI Workshop on Artificial Intelligence and Manufacturing Y1 - 1998 SP - 30 EP - 39 PB - AAAI Press, Menlo Park CA N2 - This paper presents a generic architecture for a design agent. The design agent is based on an existing generic agent model, and includes a refinement of a generic model for design, in which strategic reasoning and dynamic management of requirements are explicitly modelled. The generic architecture has been designed using the compositional development method DESIRE, and has been used to develop a prototype design agent for automated agent design. ER - TY - CONF ID - Halderen.ea:98*2 T1 - Using Java for Distributed Discrete Event Simulation A1 - van Halderen, Berry A. W. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - ter Haar Romeny, B. M. ED - Epema, D. H. J. ED - Tonino, J. F. M. ED - Wolters, A. A. TI - Proceedings of the Fourth Annual Conference of the Advanced School for Computing and Imaging Y1 - 1998/6 SP - 66 EP - 72 AD - Lommel, Belgium ER - TY - CONF ID - Brazier.ea:98*8 T1 - Principles of Compositional Multi-agent System Development A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. ED - Cuena, J. TI - Proceedings of the 15th IFIP World Computer Congress, WCC98, Conference on Information Technology and Knowledge Systems, IT and KNOWS98 Y1 - 1998 SP - 347 EP - 360 N2 - A dedicated development method for multi-agent systems requires adequate means to describe the characteristics of agents and multi-agent systems. Compositional multi agent system development is based on the principles process and knowledge abstraction, compositionality, reuse, specification and verification. Although the paper addreses these principles of compositional multi-agent system development from a generic perspective, some of the examples used to illustrate the notions discussed are taken from the compositional development method DESIRE. ER - TY - CONF ID - Brazier.ea:98*9 T1 - Strategic Knowledge in Compositional Design Models A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. ED - Gero, J. S. ED - Sudweeks, F. TI - Proceedings of the Fifth International Conference on Artificial Intelligence in Design, AID'98 Y1 - 1998 SP - 129 EP - 147 PB - Kluwer Academic Publishers N2 - In interactive design processes, strategic decisions are made at different levels. To support designers, design support systems need to include corresponding strategic knowledge at these levels. In this paper, three levels of strategic interaction and strategic knowledge are identified within a compositional model of design. These levels are identified in reasoning about the manipulation of requirements and their qualifications, reasoning about the manipulation of design object descriptions and reasoning about design process co-ordination. ER - TY - JOUR ID - Brazier.ea:97 T1 - DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework A1 - Brazier, F. M. T. A1 - Dunin-Keplicz, B. M. A1 - Jennings, N. R. A1 - Treur, J. ED - Huhns, M. ED - Singh, M. JA - International Journal of Cooperative Information Systems Y1 - 1997 VL - 6 SP - 67 EP - 94 N1 - Special Issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems N2 - This paper discusses an example of the application of a high-level modelling framework which supports both the specification and implementation of a system's conceptual design. This framework, DESIRE (framework for DEsign and Specification of Interacting REasoning components), explicitly models the knowledge, interaction, and coordination of complex tasks and reasoning capabilities in agent systems. For the application domain addressed in this paper, an operational multi-agent system which manages an electricity transportation network for a Spanish electricity utility, a comprehensible specification is presented. ER - TY - JOUR ID - Brazier.ea:97*1 T1 - A compositional approach to modelling design rationale. A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. ED - Chung, P. W. H. ED - Banares-Alcantara, R. JA - Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM ) Y1 - 1997 VL - 11 (2) SP - 125 EP - 139 N1 - Special Issue on Representing and Using Design Rationale N2 - Design support systems need to be developed on the basis of an understanding of the human design process, in order to be useful during design. The explicit representation of design history and rationale are of particular importance for explanation and re-use. Within the DESIRE framework for compositional modelling, a generic task model of design has been developed which clearly specifies the role of design history and design rationale within the design process. The model provides a structure to distinguish different types of design rationale, according to the functional role they play in the design process. It has been used to structure the modelling process of an example aircraft design task, which illustrates the various instances of design rationale that can be generated. M1 - publisher_url={http://titles.cambridge.org/journals/journal_catalogue.asp?historylinks=ALPHA&mnemonic=AIE} ER - TY - CONF ID - Eliens.ea:97 T1 - Web Agent Support Program A1 - Eliens, A. A1 - de Bra, P. A1 - Treur, J. A1 - Brazier, F. M. T. A1 - van Vliet, H. TI - Proceedings of the Workshop on Logic Programming and the Web, Sixth International WWW Conference Y1 - 1997 AD - Santa Clara ER - TY - CONF ID - Overeinder.ea:97 T1 - Breaking the Curse of Dynamics by Task Migration: Pilot Experiments in the Polder Metacomputer A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Bubak, M. ED - Dongarra, J. J. ED - Wassniewsky, J. TI - Recent Advances in Parallel Virtual Machine and Message Passing Interface, Proceedings of the 4th European PVM/MPI Users' Group Meeting T3 - Lecture Notes in Computer Science Y1 - 1997/11 VL - 1332 SP - 194 EP - 207 PB - Springer-Verlag, Berlin ER - TY - CONF ID - T.ea:97 T1 - An Instrument for a Purpose Driven Comparison of Modelling Frameworks A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. ED - Plaza, E. ED - Benjamins, R. TI - Knowledge Acquisiton, Modelling and Management, Proceedings of the 10th EKAW'97 T3 - Lecture Notes in AI Y1 - 1997 VL - 1319 SP - 212 EP - 229 PB - Springer Verlag N1 - Extended version available ER - TY - CONF ID - Brazier.ea:97*2 T1 - Modelling a Society of Simple Agents: From Conceptual Specification to Experimentation A1 - Brazier, F. M. T. A1 - van Eck, P. A. T. A1 - Treur, J. ED - Conte, R. ED - Hegselmann, R. ED - Terna, P. TI - Simulating Social Phenomena, Proc. of the International Conference on Computer Simulations and Social Sciences, ICCS&SS'97, T3 - Lecture Notes in Economics and Mathematical Systems Y1 - 1997 VL - 456 SP - 103 EP - 107 PB - Springer-Verlag N2 - In this paper, the compositional multi-agent modelling framework DESIRE is not only successfully used to develop a conceptual specification of the simple agents discussed in (Cesta et al. 1996), but also to simulate the behaviour in a dynamic environment. In the DESIRE framework, a conceptual specification, which provides a high-level view of an agent, has enough detail for automatic prototype generation. The prototype implementation of the conceptual specification of the simple agents has been used to replicate and extend one of the experiments reported in (Cesta et al. 1996). ER - TY - CONF ID - Brazier.ea:97*3 T1 - Modelling Competitive Co-operation of Agents in a Compositional Multi-Agent Framework A1 - Brazier, F. M. T. A1 - van Eck, P. A. T. A1 - Treur, J. ED - Plaza, E. ED - Benjamins, R. TI - Knowledge Acquisition, Modelling and Management, Proc. of the 10th European Knowledge Acquisition Workshop, EKAW'97, T3 - Lecture Notes in AI Y1 - 1997 VL - 1319 SP - 317 EP - 322 PB - Springer-Verlag ER - TY - CONF ID - Brazier.ea:97*4 T1 - Formalization of a cooperation model based on joint intentions A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. ED - Mueller, J. P. ED - Wooldridge, M. J. ED - Jennings, N. R. TI - Intelligent Agents III, Proceedings of the Third International Workshop on Agent Theories, Architectures and Languages, ATAL'96, T3 - Lecture Notes in AI Y1 - 1997 VL - 1193 SP - 141 EP - 155 PB - Springer Verlag ER - TY - RPRT ID - Hoekstra.ea:97 T1 - A High Performance Simulation Environment, project status report, A1 - Hoekstra, A. G. A1 - Hoffmann, W. A1 - Kartawidjaja, M. A. A1 - Overeinder, B. J. A1 - Santoso, J. A1 - Sloot, P. M. A. Y1 - 1997 M1 - Techreport IS - CS-97-04 T2 - Universiteit van Amsterdam AD - Amsterdam, The Netherlands ER - TY - CONF ID - Overeinder.ea:97*1 T1 - Performance Measurements of a Light Scattering code on the Parsytec CC: Comparison with the Parsytec PowerXplorer A1 - Overeinder, B. J. A1 - Hoekstra, A. G. ED - Bal, H. E. ED - Corperaal, H. ED - Jonker, P. P. ED - Tonino, J. F. M. TI - Proceedings of the Third Annual Conference of the Advanced School for Computing and Imaging Y1 - 1997/6 SP - 116 EP - 119 AD - Heijen, The Netherlands ER - TY - JOUR ID - Brazier.ea:96 T1 - Redesign and reuse in compositional knowledge-based systems A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Wognum, P. M. JA - Knowledge Based Systems Y1 - 1996 VL - 9 SP - 105 EP - 118 N1 - Special Issue on Models and Techniques for Reuse of Designs N2 - It is a recent trend in the literature on verification to study the use of compositionality and abstraction to structure the process of verification. Earlier, a compositional verification method was introduced for logic-based specifications of knowledge-based systems. The current paper discusses the requirements for the choice and use of a suitable logic with which verification proofs of such compositional reasoning systems can be formalized. For the particular application of the logic the following requirements for the logic itself and for the use of the logic are of importance: - compositional structure: proofs can be structured in a compositional manner, in accordance with the compositional structure of the system design. - dynamics and time: dynamic properties can be expressed, reasoning and induction over time is possible. - incomplete information states can be expressed. - transparency: the proof system and the semantics are transparent and not unnecessarily complicated. In the paper, temporal epistemic logic (TEL) is shown to be a suitable logic. By choosing temporal epistemic logic, a choice was also made for a discrete and linear time structure and for time to be global, which is a suitable choice for the formalization of verification proofs of sequential knowledge-based reasoning systems. M1 - publisher_url={http://www.elsevier.com/gej-ng//10/30/56/21/25/24/abstract.html} ER - TY - JOUR ID - Brazier.ea:96*1 T1 - Modelling an elevator design task in DESIRE: the VT example A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. A1 - Wijngaards, N. J. E. A1 - Willems, M. ED - Schreiber, A. Th. ED - Birmingham, W. P. JA - International Journal of Human-Computer Studies Y1 - 1996 VL - 44 SP - 469 EP - 520 N1 - Special Issue on Sisyphus-VT N2 - It is a recent trend in the literature on verification to study the use of compositionality and abstraction to structure the process of verification. Earlier, a compositional verification method was introduced for logic-based specifications of knowledge-based systems. The current paper discusses the requirements for the choice and use of a suitable logic with which verification proofs of such compositional reasoning systems can be formalized. For the particular application of the logic the following requirements for the logic itself and for the use of the logic are of importance: - compositional structure: proofs can be structured in a compositional manner, in accordance with the compositional structure of the system design. - dynamics and time: dynamic properties can be expressed, reasoning and induction over time is possible. - incomplete information states can be expressed. - transparency: the proof system and the semantics are transparent and not unnecessarily complicated. In the paper, temporal epistemic logic (TEL) is shown to be a suitable logic. By choosing temporal epistemic logic, a choice was also made for a discrete and linear time structure and for time to be global, which is a suitable choice for the formalization of verification proofs of sequential knowledge-based reasoning systems. M1 - publisher_url={http://www.idealibrary.com/servlet/doi/10.1006/ijhc.1996.0022} ER - TY - JOUR ID - Benjamins.ea:96 T1 - Summary of the KEML'96 workshop A1 - Benjamins, R. A1 - van Harmelen, F. A1 - Wijngaards, N. J. E. JA - The Knowledge Engineering Review Y1 - 1996/1 VL - 11 IS - 2 SP - 193 EP - 195 N1 - The Knowledge Engineering and Modelling Language's Workshop 1996 ER - TY - CHAP ID - Brazier.ea:96*2 T1 - Modelling Distributed Industrial Processes in a Multi-Agent Framework A1 - Brazier, F. M. T. A1 - Dunin-Keplicz, B. M. A1 - Jennings, N. R. A1 - Treur, J. ED - Kirn, S. ED - O'Hare, G. T3 - Computer Supported Cooperative Work Series Y1 - 1996 M1 - Inbook SP - 212 EP - 229 PB - Springer Verlag N2 - A declarative compositional modelling framework, DESIRE, designed to model knowledge-intensive multi-agent systems, is shown to provide a means to model distributed industrial and business processes. An agent's knowledge, reasoning processes and interaction with other agents, and the world are explicitly specified within this framework. Electricity transportation management is used to illustrate the characteristic elements of the approach, in particular with respect to dynamic aspects of distributed industrial and business processes; aspects which are of importance to knowledge management and knowledge engineering. ER - TY - JOUR ID - Overeinder.ea:96 T1 - A Dynamic Load Balancing System for Parallel Cluster Computing A1 - Overeinder, B. J. A1 - Sloot, P. M. A. A1 - Heederik, R. N. A1 - Hertzberger, L. O. JA - Future Generation Computer Systems Y1 - 1996/5 VL - 12 IS - 1 SP - 101 EP - 115 ER - TY - CONF ID - Brazier.ea:96*3 T1 - Modelling interaction with experts: the role of a shared task model A1 - Brazier, F. M. T. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Wahlster, W. TI - Proc. of the 12th European Conference on AI, ECAI'96, Y1 - 1996 SP - 241 EP - 245 PB - Wiley and Sons, Chichester N2 - The role of an agreed, shared task model as an intermediate representation of a design/decision task upon which (1) negotiation between an expert user and a knowledge engineer, and (2) interaction between an expert user and an intelligent design/decision support system are based, is the focus of the research presented. A declarative compositional approach to user-centered system design (within the DESIRE framework) is presented and illustrated on the basis of a shared task model for the design of environmental policy. ER - TY - CONF ID - Brazier.ea:96*4 T1 - The acquisition of a shared task model A1 - Brazier, F. M. T. A1 - Treur, J. A1 - Wijngaards, N. J. E. ED - Shadbolt, N. ED - O'Hara, K. ED - Schreiber, A. Th. TI - Advances in Knowledge Acquisition, Proc. of the 9th European Knowledge Acquisition, Workshop, EKAW'96 T3 - Lecture Notes in Artificial Intelligence Y1 - 1996 VL - 1076 SP - 278 EP - 289 N2 - The process of the acquisition of an agreed, shared task model as a means to structure interaction between expert users and knowledge engineers is described. The role existing (generic) task models play in this process is illustrated for two domains of application, both domains requiring diagnostic reasoning. In both domains different levels of interaction between an expert user and a diagnostic reasoning system are distinguished. ER - TY - CONF ID - Brazier.ea:96*5 T1 - Compositional modelling of reflective agents A1 - Brazier, F. M. T. A1 - Treur, J. ED - Gaines, B. R. ED - Musen, M. A. TI - Proc. of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96 Y1 - 1996 SP - 23/1 EP - 23/12 PB - SRDG Publications, Department of Computer Science, University of Calgary ER - TY - CONF ID - Brazier.ea:96*6 T1 - A Purpose Driven Method for Language Comparison A1 - Brazier, F. M. T. A1 - van Harmelen, F. A1 - Straatman, R. A1 - Treur, J. A1 - Wijngaards, N. J. E. A1 - Willems, M. ED - Shadbolt, N. ED - O'Hara, K. ED - Schreiber, A. Th. TI - Advances in Knowledge Acquisition. Proc. of the 9th European Knowledge Acquisition Workshop, EKAW'96 T3 - Lecture Notes in Artificial Intelligence Y1 - 1996 VL - 1076 SP - 66 EP - 81 N2 - Current efforts to compare knowledge engineering (KE) modelling languages have been limited to either rather shallow comparisons on a broad-set of languages, or to detailed comparisons with limited applicability to a narrow set of languages. In this paper we propose a novel way of organising language comparisons. This method is based on an alternating decomposition of the goals that a language tries to achieve and the linguistic methods it employs to achieve these goals. This new method for comparing languages allows a general comparison at high levels of abstraction, while not preventing more precise comparisons whenever possible. One result of our comparison method is an insight in the different assumptions that underly the languages to be compared. Two further consequences follow from the proposed comparison method, namely (i) a measure for the degree of similarity between languages, and (ii) a method for translating between languages. After describing our method, we apply it to a pair of KE modelling languages, and show how it yields insights in the assumptions underlying the languages and how it can be used to produce a translation procedure between the languages. ER - TY - CONF ID - Brazier.ea:96*7 T1 - A logical theory of design A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. ED - Gero, J. S. TI - Advances in Formal Design Methods for CAD, Proc. of the Second International Workshop on Formal Methods in Design Y1 - 1996 SP - 243 EP - 266 PB - Chapman Hall ER - TY - CONF ID - Brazier.ea:96*9 T1 - Modelling Project Coordination in a Multi-Agent Framework A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. TI - Proc. of the Fifth Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, WET ICE'96 Y1 - 1996 SP - 148 EP - 155 PB - IEEE Computer Society Press N2 - In current engineering practice often traditional management structures and virtual organisations are combined. In addition to formal structures, informal, dynamic organisational structures emerge in which engineers are personally responsible for effective interaction. They decide when to exchange information, and with whom, when to question requirements, when to acknowledge conflicts, et cetera. In such virtual organisations, project coordination may become quite complicated. In this paper communication and coordination in a real-life case of concurrent design in aircraft industry has been modelled and specified within the modelling framework DESIRE, on the basis of Jennings informal, multi-agent model of cooperative problem solving known in the literature. ER - TY - JOUR ID - Brazier.ea:95 T1 - Modelling conflict management in design: an explicit approach A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Treur, J. ED - Smith, I. F. C. JA - Artificial Intelligence for Engineering Design, Analysis and Manifacturing, (AIEDAM ) Y1 - 1995 VL - 9 IS - 4 SP - 353 EP - 366 N1 - Special Issue on Conflict Management in Design N2 - This paper focusses on how conflicts can be managed in the generic task model for design introduced in [Brazier, Langen, Ruttkay and Treur, 1994]. Based on this generic task model a number of possible types of conflict are distinguished. Furthermore it is described how each of them can be detected during the design process by an explicit meta-representation of them and how they can be analysed and managed by means of strategic meta-knowledge to control the reasoning process. M1 - publisher_url={http://titles.cambridge.org/journals/journal_catalogue.asp?historylinks=ALPHA&mnemonic=AIE} ER - TY - CONF ID - Brazier.ea:95*1 T1 - Formal Specification of Multi-Agent Systems: a Real World Case A1 - Brazier, F. M. T. A1 - Dunin-Keplicz, B. M. A1 - Jennings, N. R. A1 - Treur, J. ED - Lesser, V. TI - Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95 Y1 - 1995 SP - 25 EP - 32 PB - MIT Press N2 - In this paper the framework DESIRE, originally designed for formal specification of complex reasoning systems is used to specify a real-world multi-agent application on a conceptual level. Some extensions to DESIRE are introduced to obtain a useful formal specification framework for multi-agent systems. ER - TY - CONF ID - Overeinder.ea:95 T1 - Parallel Performance Evaluation through Critical Path Analysis A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Hertzberger, L. O. ED - Serazzi, G. TI - High-Performance Computing and Networking (HPCN Europe '95) T3 - Lecture Notes in Computer Science Y1 - 1995/5 VL - 919 SP - 634 EP - 639 PB - Springer-Verlag, Berlin ER - TY - CONF ID - Brazier.ea:95*2 T1 - A Research Programme for AI and Design: a Design Task A1 - Brazier, F. M. T. A1 - Treur, J. ED - Gero, J. S. ED - Sudweeks, F. TI - Proc. of the Fourth Workshop on Future Directions for Artificial Intelligence in Design Y1 - 1995 SP - 9 EP - 16 N2 - If AI and Design is to become a solid discipline, the research programme will need to address design from each of the following perspectives, coordinating and integrating research results during the design process. A. Empirical perspective Close analysis of design processes as required and performed by designers in cooperation with design support systems. B. Foundational perspective Development of logical theories covering both the static aspects and dynamic aspects of design processes. C. Developmental perspective The perspective of the developer of design systems and the support provided to him or her; for example: modelling/specification languages, (task) models for design, and implementation environments. ER - TY - CONF ID - Overeinder.ea:95*1 T1 - A Communication Kernel for Parallel Programming Support on a Massively Parallel Processor System A1 - Overeinder, B. J. A1 - Vesseur, J. J. J. A1 - van der Linden, F. A1 - Sloot, P. M. A. ED - Fritzon, P. ED - Finmo, L. TI - Proceedings of the Workshop on Parallel Programming and Computation (ZEUS'95) and the 4th Nordic Transputer Conference (NTUG'95), Y1 - 1995 SP - 259 EP - 266 PB - IOS Press, Amsterdam M1 - isn={90-5199-299-7} ER - TY - CONF ID - Vesseur.ea:95 T1 - Experiments in Dynamic Load Balancing for Parallel Cluster Computing A1 - Vesseur, J. J. J. A1 - Heederik, R. N. A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Fritzon, P. ED - Finmo, L. TI - Proceedings of the Workshop on Parallel Programming and Computation (ZEUS'95) and the 4th Nordic Transputer Conference (NTUG'95) T3 - Transputer and Occam Engineering Series, Parallel Programming an Y1 - 1995/6 SP - 189 EP - 194 PB - IOS Press, Amsterdam M1 - isn={90-5199-299-7} ER - TY - MGZN ID - Overeinder.ea:95*2 T1 - Parallel Discrete Event Simulation Performance Modelling and Evaluation A1 - Overeinder, B. J. A1 - Sloot, P. M. A. TI - PowerXplorer User Report Y1 - 1995/5 M1 - Incollection SP - 137 EP - 144 PB - Universit\"atsrechenzentrum, Heinrich-Heine-Universit\"at D\"usseldorf ER - TY - CONF ID - Brazier.ea:94 T1 - On formal specification of design tasks A1 - Brazier, F. M. T. A1 - van Langen, P. H. G. A1 - Ruttkay, Z. S. A1 - Treur, J. ED - Gero, J. S. ED - Sudweeks, F. TI - Proceedings Artificial Intelligence in Design (AID'94) Y1 - 1994 SP - 535 EP - 552 PB - Kluwer Academic Publishers AD - Dordrecht ER - TY - RPRT ID - Overeinder.ea:94 T1 - Finalization Report: Homogeneous PVM/PARIX A1 - Overeinder, B. J. A1 - Sloot, P. M. A. A1 - Petersen, J. Y1 - 1994/10 M1 - Techreport IS - CAMAS-TR-2.3.4 T2 - Universiteit van Amsterdam AD - Amsterdam, The Netherlands ER - TY - CONF ID - Overeinder.ea:93 T1 - Application of Time Warp to Parallel Simulations with Asynchronous Cellular Automata A1 - Overeinder, B. J. A1 - Sloot, P. M. A. ED - Verbraeck, A. ED - Kerckhoffs, E. J. H. TI - Proceedings of the 1993 European Simulation Symposium 1993 Y1 - 1993/10 SP - 397 EP - 402 AD - Delft, The Netherlands ER - TY - CONF ID - Overeinder.ea:92 T1 - Time Warp on a Transputer Platform: Pilot Study with Asynchronous Cellular Automata A1 - Overeinder, B. J. A1 - Sloot, P. M. A. A1 - Hertzberger, L. O. ED - Valero, M. ED - Onate, E. ED - Jane, M. ED - Larriba, J. L. ED - Suarez, B. TI - Parallel Computing and Transputer Applications (PACTA 92) Y1 - 1992/9 SP - 1303 EP - 1312 PB - IOS Press Amsterdam AD - Barcelona, Spain ER - TY - CONF ID - Overeinder.ea:91 T1 - Parallel Discrete Event Simulation A1 - Overeinder, B. J. A1 - Hertzberger, L. O. A1 - Sloot, P. M. A. ED - Withagen, W. J. TI - Proceedings of the Third Workshop Computer Systems Y1 - 1991/5 SP - 19 EP - 30 AD - Eindhoven, The Netherlands ER - TY - CONF ID - warnier.ea:06*2 T1 - Organized anonymity in agent systems A1 - Warnier, M. A1 - de Groot, D. R. A. A1 - Brazier, F. M. T. TI - Informal Proceedings of the Fourth European Workshop on Multi-Agent Systems (EUMAS'06) Y1 - 2006/12 CY - Lisbon, Portugal N2 - Anonymity is of great importance in distributed agent applications such as e-commerce & auctions. This paper proposes and analyzes a new approach for organized anonymity of agents based on the use of pseudonyms. A novel naming scheme is presented that can be used by agent platforms to provide anonymity for each individual agent. The paper introduces two distinct techniques, one based on handles and another based on agent spawning. Both techniques can be integrated into agent platform middleware, automatically guaranteeing anonymity for all individual agents. The applicability of this approach is evaluated for three agent platforms: AgentScape, JADE and SeMoA. ER - TY - CONF ID - haydarlou.ea:06*3 T1 - Using Semantic Web Technology for Self-Management of Distributed Object-Oriented Systems A1 - Haydarlou, A. R. A1 - Oey, M. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Proceedings of the 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI-06) Y1 - 2006/12 AD - Hong-Kong, China N2 - Automated support for management of complex distributed object-oriented systems is a challenge: self-management the goal. A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary. The knowledge needed is multi-leveled: different levels of concepts and rules need to be represented. This paper explores the requirements that hold for representing this knowledge in self-managed distributed object-oriented systems, and explores the potential of Semantic Web technology in this context. A model for self-management knowledge and a simplified version of a real-life use case are used to illustrate the potential. ER - TY - JOUR ID - haydarlou.ea:95 T1 - Thunk-lifting: Reducing heap usage in an implementation of a lazy functional language A1 - Haydarlou, A. R. A1 - Hartel, P. H. JA - Journal of Functional Programming Y1 - 1995/8 VL - 1 IS - 1 SN - 0956-79 68 N2 - Thunk lifting, a program transformation for lazy functional programs, aims to reduce the amount of heap space allocated to the program when it executes. Thunk lifting eliminates nesting of function applications, by folding selected applications. The conditions for selection guarantee that thunk lifting never increases the amount of heap space required by a program. We implemented thunk lifting, and applied it to 11 medium-sized benchmark programs. The number of cell claims in the heap decreased on average by 5%, to a maximum reduction of 16%. ER - TY - CONF ID - warnierBrazierApistolaOskamp:2007a T1 - Secure Distributed Dossier Management in the Legal Domain A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Apistola, M. A1 - Oskamp, A. TI - proceedings of the Second International Workshop on Dependability and Security in e-Government (DeSeGov 2007) Y1 - 2007/4 PB - IEEE N2 - The use of digital dossiers in Courts of Law, although currently in the phase of study, will be common practice in the future. This paper introduces the notion of distributed digital dossiers supported by a multi-agent system architecture, developed in interaction with the Courts of Amsterdam and Rotterdam. Management of such dossiers is core to the approach: consistency, completeness, integrity and security key concepts. ER - TY - JOUR ID - overeinder06 T1 - Generative Mobile Agent Migration in Heterogeneous Environments A1 - Overeinder, B. J. A1 - de Groot, D. R. A. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. JA - Scalable Computing: Practice and Experience Y1 - 2006/12 VL - 7 IS - 4 SP - 89 EP - 99 UR - http://www.scpe.org/vols/vol07/no4/SCPE_7_4_05.pdf ER - TY - CONF ID - warnierOeyTimmerBrazier:2007 T1 - Secure Migration of Mobile Agents based on Distributed Trust A1 - Warnier, M. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Brazier, F. M. T. TI - Proceedings of the Tenth International Workshop on Trust in Agent Societies Y1 - 2007/5 N2 - Integrity of mobile agents in open environments in which no guarantees can be provided on the integrity of the hosts on which they run, is an open challenge. This paper presents a method with which tampering can be detected. This method is based on the notion of distributed trust; trust distributed over the hosts involved. ER - TY - CONF ID - Haydarlou.ea:07*1 T1 - Use Case Driven Approach to Self-Monitoring in Autonomic Systems A1 - Haydarlou, A. R. A1 - Oey, M. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Proceedings of The Third International Conference on Autonomic and Autonomous Systems (ICAS07) Y1 - 2007/6 PB - IEEE Computer Society Press CY - Athens, Greece KW - Self-Monitoring KW - Self-Management N2 - Self-monitoring of autonomic distributed systems requires knowledge of the states and events of many different parts of a system. One of the main challenges is to determine which information is most crucial for analysis of a system's behaviour, and when. This paper proposes a model-based approach to self-monitoring for which structural and behavioural models of a system are described at different levels: application, subsystem, component and class level. In this approach, a system's behaviour is monitored in the context of a hierarchy of use-cases related to these levels. The structural and behavioural models are used to automatically instrument an existing distributed system. The proposed architecture of a self-monitoring engine is described as is the implementation. The models have been specified in the Ontology Web Language (OWL) and the self-monitoring (as a part of our self-management framework) has been implemented in Java. The scenario used to illustrate the approach is that of authentication for a simplified version of a distributed portal application. ER - TY - CONF ID - Boonke.a.:2007 T1 - Conditions for Access and Use of Legal Document Retrieval Web Services A1 - Boonk, M. L. A1 - Brazier, F. M. T. A1 - de Groot, D. R. A. A1 - van Stekelenburg, M. A1 - Oskamp, A. A1 - Warnier, M. TI - The Proceedings the Eleventh International Conference on Artificial Intelligence and Law (ICAIL'07) Y1 - 2007 SP - 37 EP - 41 PB - ACM press N2 - Documentation is essential to daily legal practice. On-line access is current practice. The conditions imposed by an information service provider with respect to access and use of this documentation determine the value of such documentation. This paper identifies the need to regulate on-line service access in more open environments: to specify the conditions that hold for each individual service, providing a basis for determination of conditions for configurations of services. ER - TY - CONF ID - WarnierBrazierApistolaOskamp:2007b T1 - Towards Automatic Identification of Completeness and Consistency in Digital Dossiers A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Apistola, M. A1 - Oskamp, A. TI - The Proceedings the Eleventh International Conference on Artificial Intelligence and Law (ICAIL'07) Y1 - 2007 SP - 177 EP - 182 PB - ACM Press N2 - The emergence of digital dossiers in Courts of Law presents new opportunities to streamline the criminal prosecution chain. Automatic verification of consistency and completeness of data in dossiers becomes feasible. This papers proposes an information management system based on agent technology. It sketches how agent systems in combination with AI techniques can be used to enforce consistency and completeness in digital dossiers in the context of the semi-open environment of the Courts. ER - TY - CONF ID - Overeinder.ea:07 T1 - Design of a Secure and Decentralized Location Service for Agent Platforms A1 - Overeinder, B. J. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - van Schouwen, R A1 - Rozendaal, E. A1 - Brazier, F. M. T. TI - Proceedings of the Sixth International Workshop on Agents and Peer-to-Peer Computing (AP2PC 2007) Y1 - 2007/5 CY - Honolulu, Hawai'i N2 - Agent platforms designed for Internet-scale, open networks need scalable and secure location services for agents and services. The location service based on the Fonkey public key distribution infrastructure presented in this paper has been designed and implemented for this purpose. It is scalable in the total number of published identifier--contact address pairs, the number of updates/changes, and the number of agent platforms publishing and requesting contact addresses. This system also supports a signing mechanism to authenticate the publisher of an identifier--contact address pair. Experimental results show that the current implementation based on the Bunshin/Free Pastry overlay network exhibits good scaling behavior. ER - TY - CONF ID - noordende07a T1 - Guarding Security Sensitive Content using Confined Mobile Agents A1 - van 't Noordende, G. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. TI - Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC) Y1 - 2007/3 AD - Seoul, Korea ER - TY - GEN ID - AAMAS07demo T1 - WS-Agreement Based Resource Negotiation in AgentScape (Demo) A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. Y1 - 2007/5 N1 - Demo ER - TY - CONF ID - warnierBrazier2007a T1 - Organized Anonymous Agents A1 - Warnier, M. A1 - Brazier, F. M. T. TI - the Proceedings of The Third International Symposium on Information Assurance and Security (IAS'07) Y1 - 2007/8 PB - IEEE N2 - Anonymity is of great importance in distributed agent applications such as e-commerce & auctions. This paper proposes and analyzes a new approach for organized anonymity of agents based on the use of pseudonyms. A novel naming scheme is presented that can be used by agent platforms to provide automatic anonymity for all agents on its platform, or, alternatively, to provide anonymity on demand. The paper introduces a new techniques, based on the use of handles. It can be integrated into the agent platform middleware, thereby ensuring organized anonymity for all agents. Performance measures for an anonymity middleware service implemented for AgentScape provides insight in the overhead involved. ER - TY - THES ID - Mobach2007 T1 - Agent-Based Mediated Service Negotiation A1 - Mobach, D. G. A. Y1 - 2007/5 M1 - Phdthesis T2 - Computer Science Department, Vrije Universiteit Amsterdam ER - TY - CONF ID - warnierApistolaBrazierOskamp:2007c T1 - Distributed Digital Dossier: Completeness, Consistency and Security A1 - Warnier, M. A1 - Apistola, M. A1 - Brazier, F. M. T. A1 - Oskamp, A. TI - Poster presentation at the TOKEN'07 symposium, Amsterdam, the Netherlands Y1 - 2007/6 ER - TY - RPRT ID - dees*07 T1 - Decentralized Advertisement Recommendation on IPTV A1 - Dees, E. Y1 - 2007/7 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: dr. E. Ogston (VU) & prof.dr. F.M.T. Brazier (VU) & J. Voskuil (LogicaCMG) & Raph Bode (LogicaCMG) N2 - IPTV is a relatively new transportation technology for television. Besides broadcast television, IPTV offers a variety of on-demand services. Because users are able to skip commercials delivered with on-demand content, there is a strong need for new ways of advertisement on IPTV. In this research project the relevancy of two Artificial Intelligence techniques and methodologies for a personalized advertisement service for IPTV is investigated. Recommender systems are often used in comparable situations to filter interesting items from uninteresting ones. In general they are facing problems with speed, scalability and privacy. Decentralized systems allocate the resources necessary for computation and data storage over different locations. The combination of decentralized systems and recommender systems theoretically solves the speed, scalability and privacy problems of normal recommender systems. But before a decentralized recommender system can be used for the development of a personalized advertisement service for IPTV both the medium and the technology need to mature. IPTV first have to make big steps in quality improvement and decentralized search and clustering need more mature and standardized applications. Besides this, more research with relevant data is needed to prove the value of the model for personalizing advertisement that is presented in this thesis. ER - TY - CONF ID - ApistolaWarnierOskampBrazier:2007 T1 - Towards a Conceptual Framework for Digital Dossier Management in Criminal Proceedings A1 - Apistola, M. A1 - Warnier, M. A1 - Oskamp, A. A1 - Brazier, F. M. T. TI - Proceedings of the Fifth International Conference on Law and Technology (LawTech 2007) Y1 - 2007 N2 - The use of digital dossiers by the Public Prosecution and Courts is an example of how technology changes today's law practice. The digitalisation of dossiers offers many new possibilities. One possibility is the use of agent technology. Digital dossiers are challenging because not only do they use much sensitive data, but also use many sources and there are many processes such as completeness checks etc. Consequently there are many requirements for the use of technologies such as agent technology. In this paper a conceptual framework based on a taxonomy for digital dossier management is proposed, viz. data in the dossier, dossier management processes, agent technology and environments. The conceptual framework indicates what type of agents supports what kind of data, processes and environments. ER - TY - CONF ID - warnierBrazierApistolaOskamp:2007c T1 - Distributed Digital Data: Keeping files consistent and timely A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Apistola, M. A1 - Oskamp, A. TI - Proceedings of the eGovernment Interoperability Campus 2007 Conference (eGovINTEROP'07) Y1 - 2007 N2 - Digitalization of information across organizations has made information exchange between organizations easier. Information exchange, however, requires governmental organizations to define security policies, stating which information can be accessed, processed and indexed by which organizations, when, where and how. Ensuring that the information, once exchanged, stays up-to-date is a real challenge, as is enforcement of the security policies. This paper proposes the use of Distributed Digital Dossier in combination with agent technology to enforce these requirements. The domain of a Court of Law is taken as an example to illustrate the approach. ER - TY - CONF ID - rana-etal:2007 T1 - Managing Violations in Service Level Agreements A1 - Rana, O. A1 - Warnier, M. A1 - Quillinan, T. B. A1 - Brazier, F. M. T. A1 - Cojocarasu, D. TI - the Proceedings of the Usage of Service Level Agreements in Grids Workshop Y1 - 2007/9 ER - TY - CONF ID - Noordende:07b T1 - A Secure Jailing System for Confining Untrusted Applications A1 - van 't Noordende, G. A1 - Balogh, A. A1 - Hofman, R. F. H. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. TI - Proc. 2nd International Conference on Security and Cryptography (SECRYPT) Y1 - 2007/7 SP - 414 EP - 423 CY - Barcelona, Spain ER - TY - CONF ID - haydarlou*07a T1 - Using Semantic Web Technology for Self-Management of Distributed Systems A1 - Haydarlou, A. R. A1 - Oey, M. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) Y1 - 2007/11 AD - Utrecht, The Netherlands N2 - Automated support for management of complex distributed object-oriented systems is a challenge: self-management is the goal. A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary. The knowledge needed is multi-leveled: different levels of concepts and rules need to be represented. This paper explores the requirements that hold for representing this knowledge in self-managed distributed object-oriented systems, and explores the potential of Semantic Web technology in this context. ER - TY - MGZN ID - overeinder06a T1 - Scalable Middleware Environment for Agent-Based {Internet} Applications A1 - Overeinder, B. J. A1 - Brazier, F. M. T. TI - Applied Parallel Computing T3 - Lecture Notes in Computer Science Y1 - 2006 VL - 3732 M1 - Incollection SP - 675 EP - 679 PB - Springer AD - Berlin ER - TY - CONF ID - vantnoordende*07 T1 - A Common Base for Building Secure Mobile Agent Middleware A1 - van 't Noordende, G. A1 - Overeinder, B. J. A1 - Timmer, R. J. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. TI - Proceedings of the 2nd Int'l Multiconference on Computer Science and Information Technology (IMCSIT) Y1 - 2007/10 VL - 2 SP - 13 EP - 25 CY - Wisla, Poland N1 - ISSN 1896-7094 UR - http://www.papers2007.imcsit.org/pliks/158.pdf N2 - The Agent Operating System (AOS) provides the basic functionality needed for secure and reliable mobile agent platforms: support for secure communication, secure agent storage and migration, and minimal primitives for agent life-cycle management. Designed as a layer between local operating systems and higher level agent platform middleware, it supports interoperability between agent platforms and between different implementations of AOS itself. AOS has been tested on interoperability, both with regard to different higher-layer middleware platforms and interoperability between two implementations of AOS in C and Java. ER - TY - CONF ID - cucurull*07 T1 - Abstract Software Migration Architecture Towards Agent Middleware Interoperability A1 - Cucurull, J. A1 - Overeinder, B. J. A1 - Oey, M. A. A1 - Borrell, J. A1 - Brazier, F. M. T. TI - Proceedings of the 2nd Int'l Multiconference on Computer Science and Information Technology (IMCSIT) Y1 - 2007/10 VL - 2 SP - 27 EP - 37 CY - Wisla, Poland N1 - ISSN 1896-7094 UR - http://www.papers2007.imcsit.org/pliks/155.pdf N2 - Agent mobility is the ability of an agent to migrate from one location to another. So far, there are several difficulties with agents' migration due to the lack of interoperability among agent middleware that is distributed over the net. In this paper, an abstract software migration architecture is presented, which is the first step towards full agent middleware interoperability. With this architecture, the process of migrating an agent is uniformly defined for multiple middleware, leaving the agent execution environment' standards as a future research. To validate the suggested abstract migration, the architecture has been successfully implemented over two different agent middleware: JADE and AgentScape. ER - TY - CONF ID - brazier:2007 T1 - The world of autonomous distributed systems A1 - Brazier, F. M. T. TI - Proceedings of the International Symposium on Intelligent and Distributed Computing (IDC'2007) Y1 - 2007 ER - TY - GEN ID - warnier*07a T1 - Secure Digital Criminal Dossier Management: - combining local control and global access in distributed environments A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Oskamp, A. Y1 - 2007/10 ER - TY - GEN ID - haydarlou*07b T1 - Use-case driven Self-Management Framework A1 - Haydarlou, A. R. A1 - Oey, M. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. Y1 - 2007/10 N2 - Self-management of autonomic distributed systems requires knowledge of the states and events of many different parts of a system. One of the main challenges is to determine which information is most crucial for analysis of a system's behaviour, and when. This paper proposes a model-based approach to self-management for which structural and behavioural models of a system are described at different levels: application, subsystem, component and class level. In this approach, a system's behaviour is monitored in the context of a hierarchy of use-cases related to these levels. The structural and behavioural models are used to automatically instrument an existing distributed system. The models have been specified in the Ontology Web Language (OWL). ER - TY - GEN ID - haydarlou*07c T1 - Using Semantic Web Technology for Self-Management of Distributed Systems A1 - Haydarlou, A. R. A1 - Oey, M. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. Y1 - 2007/11 N2 - Automated support for management of complex distributed object-oriented systems is a challenge: self-management the goal. A self-management system needs to reason about the behaviour of the distributed entities in a system, and act when necessary. The knowledge needed is multi-leveled: different levels of concepts and rules need to be represented. This paper explores the requirements that hold for representing this knowledge in self-managed distributed object-oriented systems, and explores the potential of Semantic Web technology in this context. A model for self-management knowledge and a simplified version of a real-life use case are used to illustrate the potential. ER - TY - JOUR ID - warnierBrazierOskamp T1 - Security of Distributed Digital Criminal Dossiers A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Oskamp, A. JA - Journal of Software (Academy Publisher) Y1 - 2008/3 VL - 3 IS - 3 SP - 21 EP - 29 N2 - Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to support individual organisations' information policies whilst securing global consistency and completeness. This paper proposes a multi-agent approach to a distributed multi-organisational system design based on this principle, focusing on the example of the distributed digital criminal dossier used in the Courts of Amsterdam and Rotterdam, compiled and managed by the Public Prosecution. Security requirements are identified and a distributed multi-agent architecture proposed. ER - TY - GEN ID - oey*07 T1 - WS-Agreement Based Resource Negotiation in AgentScape A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Mobach, D. G. A. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. Y1 - 2007/10 UR - http://www.informaticaplatform.nl/siren ER - TY - GEN ID - Oskamp06 T1 - Agents en het digitale strafdossier A1 - Oskamp, A. Y1 - 2006 ER - TY - CONF ID - gradwell*08 T1 - Engineering Large-scale Distributed Auctions A1 - Gradwell, P. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Brazier, F. M. T. A1 - Padget, J. TI - Proceedings of the Seventh Int. Conference on Autonomous Agents and Multiagent Systems (AAMAS) Y1 - 2008/5 VL - 3 SP - 1311 EP - 1314 PB - ACM CY - Estoril, Portugal AD - Richland, SC N1 - ISBN: 978-0-9817381-2-X N2 - The functional characteristics of market-based solutions are typically best observed through the medium of simulation, datagathering and subsequent visualization. We previously developed a simulation of multiple distributed auctions to handle resource allocation (in fact, bundles of unspecified goods) and in this paper we want to deploy an equivalent system as a distributed application. There are two notable problems with the simulation-first, application-second approach: (i) the simulation cannot reasonably take account of network effects, and (ii) how to recreate in a distributed application the characteristics demonstrated by the mechanism in the simulation. We describe: (i) the refactorings employed in the process of transforming a uni-processor lock-step simulation into a multi-processor asynchronous system, (ii) some preliminary performance indicators, and (iii) some reflections on our experience which may be useful in building MAS in general. ER - TY - CONF ID - Overeinder*08 T1 - Web Service Access Management for Integration with Agent Systems A1 - Overeinder, B. J. A1 - Verkaik, P. D. A1 - Brazier, F. M. T. TI - Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC) Y1 - 2008/3 PB - ACM CY - Fortaleza, Ceara, Brazil N2 - The agent paradigm includes the notion that agents interact with services. This paper identifies the need for controlled access to such services, from the perspective of agent systems (and not as is generally the case by web service providers). Mediating between web service requests from (virtual) organizations of agents, the web service gateway proposed regulates (i.e., monitors and controls) web service access according to the SLAs and organizational policies that are in effect. In addition to a model for web service access regulation, an implementation of a middleware component for web services access regulation based on SOAP and described in WSDL is presented. ER - TY - JOUR ID - pournaras*08-2 T1 - Trust and innovativeness in virtual organisations A1 - Pournaras, E. A1 - Lazakidou, Athina JA - International Journal of Business Innovation and Research Y1 - 2008 VL - 2 IS - 3 SN - 1751-0252 N2 - This paper discusses trust and control in a virtualised environment. An extensive use of information and communication technology, and virtualisation of organisations put trust into the core of management challenges. Trust is a glue that bonds individuals and groups together to form virtual teams and a virtual organisation. It is also an important force behind their innovativeness and flexibility. Besides the traditional perception of personal or individual trust, we have to introduce a much wider concept of organisational trust. It can be enhanced by legislation on e-business, electronic signatures and data protection acts. Another factor that can reduce the risk and consequently build trust is the ability of computer technology to archive and recover all data and processes. Altogether, a virtual environment looks relatively safe if all available techniques and legislation are employed. Innovativeness in virtual organisations should be able to be spread in order to be regarded as an efficient and worthy innovation. This can be achieved by setting standardisations and avoiding social risks during its acceptance. ER - TY - JOUR ID - pournaras*08-1 T1 - Load-Driven Neighbourhood Reconfiguration of Gnutella Overlay A1 - Pournaras, E. A1 - Exarchakos, George A1 - Antonopoulos, Nick JA - Journal of Computer Communications Y1 - 2008/2 N2 - Unstructured P2P networks support distributed applications whose workload may vary significantly over time and between nodes. Self-optimizing systems try to keep the load in the network balanced despite the frequent load fluctuations. Several P2P systems exhibit a number of related features but fail to avoid centralization under high-load situations. ERGO aims to balance the overloaded nodes by rewiring some of their incoming links to underloaded ones via a set of interconnected servers which index the underloaded nodes. In two simulated environments, ERGO load-balancing on Gnutella network increases the balanced nodes and network availability by preserving its efficiency and even reducing its messages. ER - TY - GEN ID - pournaras*06 T1 - Development of a 3-D Multiplayer Racing Game A1 - Pournaras, E. Y1 - 2006/10 N1 - Feature Article UR - http://today.java.net/pub/a/today/2006/10/10/development-of-3d-multiplayer-racing-game.html ER - TY - GEN ID - pournaras*07 T1 - Development of a 3-D Multiplayer Racing Game A1 - Pournaras, E. Y1 - 2007/6 UR - http://jazoon.com/jazoon07/en/conference/presentationdetails.html?type=sid&detail=1041 N2 - Traditional Game Industry has been based on C . It eems that nowadays users focus on the multiplayer dimension of games and they demand new and better networking services. It is certain that this networking orientation will also influence the other sides of game development and more the architecture of the future game consoles. Java technologies raise new foundations for developing commercial games with strong support to different game elements. This work-in-progress presentation focuses on the development of a 3-D multiplayer racing game (JautOGL) using JOGL and JOAL APIs for graphics and sound respectively and Java .NIO for the networking part. It will outline the steps for building a game engine using the above technologies and which are the special haracteristics that must be taken under consideration. Some of the issues that will be illustrated include: Using the procedural OpenGL in the object-oriented Java Using OpenAL for the sound engine Building 3-D models loaders Game interactivity in a racing game Networking and real time support (non-blocking mode) using Java .NIO The work has inspired more issues for further development such as: Advanced graphics and sound system Collision detection system Artificial Intelligence Other Networking models (Peer-to-peer) ER - TY - CONF ID - martinelli08 T1 - A Runtime Monitoring Environment for Mobile Java A1 - Martinelli, Fabio A1 - Mori, Paolo A1 - Quillinan, T. B. A1 - Schaefer, Christian TI - Proceedings of the 1st International ICST workshop on Security Testing Y1 - 2008/4 T2 - ICST CY - Lillehammer, Norway. KW - Security Contract SxC N2 - The increased availability of mobile broadband connections enables the expansion of software downloads to mobile devices. This leads to greater number of available services and a better utilisation of the computational power of mobile devices. The downside of this increased software availability is an increase in the possible attack vectors. One scenario is the misuse of resources, for example, a game is sending more SMS’s than the user wishes it to send. Thus, techniques need to be in place that prevent downloaded software from misusing resources on the mobile device. In this paper, we show how it is possible to prevent such misuse of resources through the use of a runtime monitor that performs execution-time checks to monitor if the application is behaving correctly or not. This runtime monitor enhances the flexibility of the Java security model for mobile devices and allows to enforce security policies without having to rely on signatures of the downloaded applications. ER - TY - CONF ID - Rana-GenCon08 T1 - Monitoring and Reputation Mechanisms for Service Level Agreements A1 - Rana, O. A1 - Warnier, M. A1 - Quillinan, T. B. A1 - Brazier, F. M. T. TI - Proceedings of the 5th International Workshop on Grid Economics and Business Models (GenCon) Y1 - 2008/8 PB - Springer Verlag AD - Las Palmas, Gran Canaria, Spain. ER - TY - CONF ID - Pournaras08a T1 - Towards Adaptive Energy Plan Aggregation over a Peer-to-Peer Tree Overlay A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Ogston, E. TI - the Performance for Peers Workshop (P4P2P 2008) proceedings Y1 - 2008 N2 - Global stabilization of energy networks without centralised control is a challenge. This paper explores the potential of coordination of energy usage of intelligent thermostatically controlled appliances (TCA) using a p2p network. A p2p tree overlay provides the basic structure for distributed plan aggregation and distribution. The approach is presented and discussed in the light of the risks and benefits identified. ER - TY - CONF ID - Pournaras08b T1 - Using Intelligent Agents for Self-Adaptation and Self-Optimization of Energy Consumption in Power Networks A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - the first International Workshop on Agents for Autonomic Computing (AAC 2008) Y1 - 2008 N2 - Global stabilization of energy networks without centralized control is the challenge this paper addresses. An agent-based approach to decentralized self-management of networked appliances is the solution this paper explores. Software agents represent thermostatically controlled appliances (TCAs), generate energy plans for expected energy consumption, and interact with each other as peers within a tree based peer-to-peer overlay. The Energy Plan Overlay Summation (EPOS) mechanism proposed, propagates plans generated by individual TCA agents to aggregators within this structure to achieve self-optimization/stabilization of energy requests. Preliminary results in a small-scale and restrictive environment are promising: a 15% increase in energy stabilization is achieved. ER - TY - CONF ID - refx_Splunter_2008a T1 - Decentralized performance-aware reconfiguration of complex service configurations A1 - van Splunter, S. A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. TI - Proceedings of the Performance for Peer-to-Peer Systems (P4P2P) workshop Y1 - 2008/5 T2 - University of Warwick CY - Warwick N2 - Execution of complex workflows is one of many applications of P2P networks. Sustaining complex workflows in a dynamic P2P network requires adaptation when hosts involved in the workflow lose network connectivity. Adaptation of complex workflows without centralised monitoring and control is a challenge, and is often limited to instance replacement. If requirements are given on the performance of the complex workflow as a whole, then possibilities for automated adaptation are limited even more. This paper describes how adaptation of complex web service configurations can be applied on complex workflows in P2P networks. In our approach templates are used as a structuring principle, allowing distribution of the requirements on which the complex service configuration is based. This distribution of requirements allows local adaptation, without centralised monitoring and control. Checking locally whether overall performance requirements are satisfied for a proposed adaptation is enabled by propagation functions. By deploying a template-based web service configuration over the P2P network, effectively a distributed adaptive overlay network is created. ER - TY - CONF ID - refx_Veelen_2008a T1 - Reconfiguration Management of Crisis Management Services A1 - van Veelen, J. B. A1 - van Splunter, S. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. TI - The 15th conference of the International Emergency Management Society (TIEMS 2008) Y1 - 2008 N2 - Management in crisis response requires continuous adaptation, for crisis situations are highly dynamic. Crisis response in general involves multiple parties, each with their own autonomy and capabilities, leading to differentiations in structure, goals and strategies, and constraints for cooperation. A crisis management system needs to support distributed and continuous adaptation on different levels of organisation, in a reliable fashion, ensuring at least some minimal level of service for every defined task. This paper presents an architecture of a generic reflective autonomic management system (GRAM). The GRAM system tackles this real-time configuration challenge by the combination of a template-based configuration system (COWS) and a workflow-based configuration system (SMDS). The first proof-of-concept GRAM system shows a reliable and predictive performance in changing environments. Future work includes extending the current realisation and validating its performance in more realistic settings. ER - TY - CONF ID - warnier-timmer-etal:2008 T1 - An Agent Based System for Distributed Information Management: a case study A1 - Warnier, M. A1 - Timmer, R. J. A1 - Oey, M. A. A1 - Brazier, F. M. T. A1 - Oskamp, A. TI - Proceedings of the 3rd Int'l Multiconference on Computer Science and Information Technology (IMCSIT'08) Y1 - 2008 SP - 55 EP - 61 PB - IEEE N2 - Securely managing shared information in distributed environments across multiple organizations is a challenge. Distributed information management systems designed to this purpose, must be able to support individual organizations' information policies whilst ensuring global consistency and completeness of information. This paper describes a multi-agent based prototype implementation of a distributed information management system, illustrated for distributed digital criminal dossiers. The prototype implementation runs on the multi-agent platform AgentScape. ER - TY - JOUR ID - warnier-oey-timmer-etal:08 T1 - Enforcing Integrity of Agent Migration Paths by Distribution of Trust A1 - Warnier, M. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Overeinder, B. J. A1 - Brazier, F. M. T. JA - Int. J. of Intelligent Information and Database Systems Y1 - 2009 VL - 3 IS - 4 N2 - Agent mobility is the ability of an agent to migrate from one location to another across a network. Though conceptually relatively straightforward, in practice security of mobile agents is a challenge: from transport layer security to preservation of integrity in open environments. This paper discusses the security issues involved and proposes protocols for secure agent migration. AgentScape, an agent platform for mobile agents, is used to illustrate the feasibility of the implementation of these protocols. ER - TY - RPRT ID - vanHetSchip:2008 T1 - {Integrating Jason into AgentScape - Joining BDI-theory with Agent Technology practise} A1 - van het Schip, R. C. Y1 - 2008/10 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: dr. Martijn Warnier and prof. dr. Frances Brazier N2 - In general, Computer Science agent platforms maintain a simple agent model. In contrast, Artificial Intelligence agent technology maintains a strict agent model, requiring agents to have mental notions such as beliefs, desires and intentions (BDI). This strict model offers advantages for application developers in certain domains, as it represents a higher level of abstraction than traditional programming languages, more akin to human reasoning. To offer this strict BDI agent model to Computer Science agent platforms, this thesis describes the integration of the high-level BDI agent programming language Jason into the AgentScape agent platform, which maintains a simple agent model. The selection of relevant BDI languages is discussed, as well as the approach to integrate AgentScape and Jason. The resulting integration succeeded: Jason’s BDI reasoning engine, internal actions, agent creation and part of Jason’s communication features are all available in the integrated system. ER - TY - GEN ID - Pournaras:08 T1 - Energy Consumption Stabilization by Agent-Based Decentralized Tree Aggregation A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. Y1 - 2008/9 N1 - Poster ER - TY - CONF ID - quillinan-midsec08 T1 - Enforcing Security in the AgentScape Middleware. A1 - Quillinan, T. B. A1 - Warnier, M. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Brazier, F. M. T. TI - Proceedings of the 1st International Workshop on Middleware Security (MidSec) Y1 - 2008/12 PB - ACM CY - Leuven, Belgium. N1 - To appear N2 - Multi Agent Systems (MAS) provide a useful paradigm for accessing distributed resources in an autonomic and self-directed manner. Resources, such as web services, are increasingly becoming available in large distributed environments. Currently, numerous multi agent systems are available. However, for the multi agent paradigm to become a genuine mainstream success certain key features need to be addressed: the foremost being security. While security has been a focus of the MAS community, configuring and managing such multi agent systems typically remains non-trivial. Well defined and easily configurable security policies address this issue. A security architecture that is both flexible and featureful is prerequisite for a MAS. A novel security policy enforcement system for multi agent middleware systems is introduced. The system facilitates a set of good default configurations but also allows extensive scope for users to develop customised policies to suit their individual needs. An agent middleware, AgentScape, is used to illustrate the system. ER - TY - GEN ID - warnierBrazierBNAIC08 T1 - Organized Anonymous Agents A1 - Warnier, M. A1 - Brazier, F. M. T. Y1 - 2008 N1 - Poster Presentation at the 20th Belgian Dutch AI Conference (BNAIC'08) ER - TY - GEN ID - Warnier:08 T1 - ACCESS: An Agent Based System for Distributed Information Management A1 - Warnier, M. A1 - Timmer, R. J. A1 - Brazier, F. M. T. A1 - Oskamp, A. Y1 - 2008 N1 - Poster Presentation at the TOKEN'08 symposium ER - TY - RPRT ID - Clark2008 T1 - Automated Security Classification A1 - Clark, K. P. Y1 - 2008/11 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: Drs. Marco Plas and Dr. Thomas B. Quillinan ER - TY - JOUR ID - Noordende:986 T1 - Constructing Secure Mobile Agent Systems Using the Agent Operating System A1 - van 't Noordende, G. A1 - Overeinder, B. J. A1 - Timmer, R. J. A1 - Brazier, F. M. T. A1 - Tanenbaum, A. S. JA - International Journal of Intelligent Information and Database Systems Y1 - 2009 VL - 3 IS - 4 ER - TY - CONF ID - Pournaras2009a T1 - A Distributed Agent-based Approach to Stabilization of Global Resource Utilization A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - the International Conference on Complex, Intelligent and Software Intensive Systems (CISIS'09) Y1 - 2009/3 PB - IEEE N2 - Distributed management of complex, distributed systems is the focus of this paper. Adaptation through local deliberation by software agents within a hierarchical virtual organization is the approach taken. Global stabilization of resource utilization is the goal. Electricity networks are used to illustrate the potential of two fitness functions on the basis of which local choices for resource utilization are made: minimizing oscillations is the first function considered, reversing oscillations the second. Results reveal considerable increase in the stabilization of resource utilization compared to a system that utilizes resources in a greedy manner. ER - TY - CONF ID - refx_Splunter_2009a T1 - Dynamic Service Reconfiguration and Enactment Using an Open Matching Architecure A1 - van Splunter, S. A1 - Brazier, F. M. T. A1 - Padget, J. A1 - Rana, O. TI - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal Y1 - 2009/1 N1 - Accepted for publication N2 - An architecture for dynamic reconfiguration of complex services, in which the enactment is automated, and the matching of services is not limited to a pre-determined set of matchers and repositories, is presented. The proposed architecture consists of three, previously developed, components: the CoWS template-based reconfiguration service, the Knoogle MatchMaker service, and the Triana workflow enactment engine. This architecture has the following innovative aspects: 1) automated adaptation of complex services, which is more flexible than existing approaches based on replacing failing instances of services within a workflow, 2) use of heterogeneous components that may be both local and distributed, and 3) dynamic selection of matchers and repositories. M1 - date-added={2008-11-29 19:29:38 +0100} M1 - date-modified={2008-11-29 19:34:04 +0100} ER - TY - CONF ID - quillinan09 T1 - Developing Agent-based Organizational Models for Crisis Management A1 - Quillinan, T. B. A1 - Brazier, F. M. T. A1 - Aldewereld, H. M. A1 - Dignum, F. A1 - Dignum, V. A1 - Penserini, L. A1 - Wijngaards, N. J. E. TI - Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (Industrial Track) Y1 - 2009/5 CY - Budapest, Hungary N1 - Accepted for Publication N2 - Simulations of crisis scenarios have the potential to increase insight in the organizational structures needed as crises escalate. Real-life simulations involving personnel and figurants are expensive and time-consuming. Multi-agent system models allow for cost-effective simulations of changing organizational structures, enabling analysis of the implications for enactment during crisis escalation with respect to roles and communication structures. This paper presents both an organization-based model for crisis management that supports simulation of the dynamics of crisis management and a proof of concept implementation. ER - TY - GEN ID - Brazier:655 T1 - AgentScape Tutorial A1 - Brazier, F. M. T. A1 - Warnier, M. A1 - Oey, M. A. A1 - Timmer, R. J. Y1 - 2008/11 N1 - Tutorial Given at the University of Bath and D-CIS labs, Delft ER - TY - CONF ID - Harman09 T1 - A multi-layered semantics-ready sensor architecture A1 - Harman, Thomas A1 - Padget, J. A1 - Warnier, M. TI - Proceedings of the Third International Workshop on Agent Technology for Sensor Networks (ATSN-09) Y1 - 2009 N2 - There is an intrinsic tension between sensor systems and multi-agent systems that comes down to the trade-off between cost and value: the agents want as much knowledge of their environment as possible, while the sensors are rightly protective of their often very limited resources that enable sensing and transmission. The architecture and implementation that we present here aims to provide sufficient flexibility for the cohabitation of both classes---where class is a relative term---of components through a policy-aware framework that permits the construction of ``sensors'' at whatever level of abstraction is regarded as appropriate by the designer. There are many sensor architectures available, nevertheless we believe there is some novelty in the approach we present here in terms of systems engineering, deriving mainly from the principled design of Agentscape upon which we are building, such that the notable features are modularity -there is a high degree of separation of concerns- extensibility -leading to relative ease of integration of different sensor infrastructures- and scalability -as a result of the distributed architecture that Agentscape provides. In addition, our choice of RDF as the initial database format has positive practical implications for the integration of supported sensor networks with semantic processing mechanisms. ER - TY - CONF ID - Nevejan09a T1 - Spacio-temporal movements in communities of practice, in which human beings and autonomous systems participate A1 - Nevejan, C. TI - Proceedings of the Human Interaction with Intelligent & Networked Systems Workshop (HINNS 2009) Y1 - 2009 N2 - Any two systems in motion will synchronize and adapt to each other and develop a shared language and/or taxonomy, according to the latest research of Luc Steels at Sony Research Labs in Paris. This happens between human beings as well as between non-human systems. In this position paper I argue, inspired the work of Luc Steels and by Thomas Kuhn’s last writings, that in the interaction between human beings and autonomous systems it is necessary to pay attention to the incommensurability that is part of this interaction. Human beings recognize spacio-temporal movements of each other, which create a ground for interaction. Autonomous systems can be defined in terms of spacio-temporal movements, but are hardly perceived as such by human beings. I argue that next to many other reasons, also the not-recognition of spacio-temporal movements between human beings and autonomous systems causes serious flaws in understanding and communication. To be able to address this issue I take the position that both human beings as well as autonomous systems participate in the specific community in which they are located and interact. Being participant in a community involves making contributions to the community, taking responsibility and being part of the evaluation of cause and effect in this community. Being a participant in a community one contributes to the language and concepts a community shares. However, when things go wrong between human beings in a community the self-correctional dynamics that evolve are based on guilt and shame, while an autonomous system provides a ‘no match’. Human drivers like hope, solidarity, compassion and love are not recognized as such by autonomous systems. Nevertheless, human beings are bound to attribute a variety of feelings to autonomous systems because they perform tasks, give feedback and are capable of evaluating formulated intentions. Human beings can perceive autonomous systems as participants in a community in their own right. ER - TY - CONF ID - brazier09a T1 - Interactive distributed and networked autonomous systems: delegation or participation A1 - Brazier, F. M. T. A1 - van der Veer, Gerrit TI - Proceedings of the Human Interaction with Intelligent & Networked Systems Workshop (HINNS 2009) Y1 - 2009 N2 - Networks of autonomous systems in dynamic environments are explored within multi-agent system research and development and within autonomic computing. Self-management is core, self-configuration often necessary. Current literature distinguishes two types of assignment: (1)n delegating a system to perform a task, and (2) mandating a system to perform a task. These two types of assignment, however, do not suffice. This paper explores the need for a new type of assignment in networks of autonomous systems, participation. ER - TY - CONF ID - brazier09b T1 - The Future of Energy Markets and the Challenge of Decentralized Self-Management A1 - Brazier, F. M. T. A1 - Ogston, E. A1 - Warnier, M. TI - Proceedings of the Eighth International Workshop on Agents and Peer-to-Peer Computing (AP2PC09) Y1 - 2009 N2 - Agent and peer-to-peer based decentralized self-management is a developing technology that can change the future of energy markets. Complex, intelligent, distributed systems in dynamic environments need to adapt continually, and thus need to be designed to this purpose. Central management of such systems is often not an option: decentralised self-management is required. This holds for management of both energy producers and consumers. Self-management of emergent virtual organizations is needed. Assuming energy consuming and producing devices are autonomous systems, represented by software agents capable of self-management, virtual organizations of agents can emerge. Such organizations define communication structures between agents, for example, hierarchical or clustered organizations. Within these organizations agents can either cooperate or compete to coordinate their actions. The inherent robustness and dynamic adaptivity of peer-to-peer systems makes them ideal for providing these dynamic structures. Enhanced with interaction methodologies developed for agent systems, peer-to-peer protocols can be designed to support agents with complex autonomous behaviors. ER - TY - CONF ID - warnierBrazier09a T1 - Energy Management, the challenges of self-managing virtual organisations A1 - Warnier, M. A1 - Brazier, F. M. T. TI - Proceedings of the Fourth Workshop on Hot Topics in Autonomic Computing (HotAC IV) Y1 - 2009 N2 - Complex, intelligent, distributed systems in dynamic environments need to adapt continually, and thus need to be designed to this purpose. As central management of such systems is often not an option decentralised self management is required. This holds, for example, for energy/power management: for both resources and devices. Self management of emergent virtual organisations is needed. ER - TY - CHAP ID - brazier.ea:2002*booknew T1 - Compositional Design of Multi-Agent Systems: Modelling Dynamics and Control A1 - Brazier, F. M. T. A1 - Jonker, C. M. A1 - Treur, J. ED - Meijer, J. J. ED - Treur, J. T3 - Handbook of Defeasible Reasoning and Uncertainty Management Syst Y1 - 2002 VL - 7 M1 - Inbook SP - 19 EP - 64 PB - Kluwer Academic Publishers SN - 978-1-4020-0834-4 ER - TY - THES ID - langenThesis02 T1 - The Anatomy of Design: Foundations, Models and Applications A1 - van Langen, P. H. G. Y1 - 2002 M1 - Phdthesis T2 - Vrije Universiteit Amsterdam ER - TY - CONF ID - warn:07:bnaic*2 T1 - Towards Automatic Identification of Completeness and Consistency in Digital Dossiers A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Apistola, M. A1 - Oskamp, A. ED - Dastani, M. M. ED - de Kong, J. TI - The Proceedings of the 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007) Y1 - 2007 ER - TY - CHAP ID - brazier.ea:2002*drums1 T1 - Compositional Verification of a Multi-Agent System for One-to-Many Negotiation A1 - Brazier, F. M. T. A1 - Cornelissen, F. A1 - Gustavsson, R. A1 - Jonker, C. M. A1 - Lindeberg, O. A1 - Polak, B. A1 - Treur, J. ED - Meijer, J. J. ED - Treur, J. T3 - Defeasible Reasoning and Uncertainty Management Systems Y1 - 2002 VL - 7 M1 - Inbook SP - 455 EP - 476 PB - Kluwer Academic Publishers ER - TY - CHAP ID - brazier.ea:2002*drums2 T1 - Semantic Formalisation of Emerging Dynamics of Compositional Agent Systems A1 - Brazier, F. M. T. A1 - van Eck, P. A. T. A1 - Treur, J. ED - Meijer, J. J. ED - Treur, J. T3 - Defeasible Reasoning and Uncertainty Management Systems Y1 - 2002 VL - 7 M1 - Inbook SP - 169 EP - 196 PB - Kluwer Academic Publishers ER - TY - CHAP ID - brazier.ea:2002*drums3 T1 - Compositional Design and Reuse of a Generic Agent Model A1 - Brazier, F. M. T. A1 - Jonker, P. P. A1 - Treur, J. ED - Meijer, J. J. ED - Treur, J. T3 - Defeasible Reasoning and Uncertainty Management Systems Y1 - 2002 VL - 7 M1 - Inbook SP - 113 EP - 166 PB - Kluwer Academic Publishers ER - TY - CONF ID - Pournarasb T1 - Adaptive Agent-based Self-organization for Robust Hierarchical Topologies A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. ED - Bouchachia, A. ED - Nedjah, N. ED - Mourelle, L. ED - Pedrycz, W. TI - Proceedings of the International Conference on Adaptive and Intelligent Systems (ICAIS'09) Y1 - 2009/5 SP - 69 EP - 76 PB - IEEE Computer Society CY - Klagenfurt, Austria AD - Los Alamitos, CA N1 - ISBN: 978-0-7695-3827-3 N2 - Hierarchical virtual organizations can organize and model their communication in a hierarchical topology (\ie trees). However, such topologies can be unreliable as local failures have a global impact in the organization. This is especially the case when these virtual organizations lie over large-scale distributed systems. Thus, hierarchical topologies need to adapt continuously to changes of the underlying environment. Pro-active and re-active self-organization can make such topologies highly robust. This paper proposes AETOS, the Adaptive Epidemic Tree Overlay Service. AETOS is a new agent-based approach for building and maintaining on-demand robust tree topologies to structure communication. It pro-actively positions agents appropriately in the tree to minimize the effect of failures. In addition, it re-actively rewires the connections to reflect the changes in the state of the agents. The self-organization model, the control of the system and an illustrative example are discussed in this paper. ER - TY - JOUR ID - brazierKephart09 T1 - Agents and Service-Oriented Computing for Autonomic Computing: A Research Agenda A1 - Brazier, F. M. T. A1 - Kephart, J. O. A1 - Huhns, M. A1 - Van Dyke Parunak, H. JA - IEEE Internet Computing Y1 - 2009/5 VL - 13 IS - 3 SP - 82 EP - 87 N2 - Autonomic computing is the solution proposed to cope with the complexity of today's computing environments. Self-management, an important element of autonomic computing, is also characteristic of single and multiagent systems, as well as systems based on service-oriented architectures. Combining these technologies can be profitable for all — in particular, for the development of autonomic computing systems. ER - TY - MGZN ID - Nevejan:982 T1 - As ever and never before A1 - Nevejan, C. TI - Presence for everyone, a short guide to presence research Y1 - 2009 M1 - Incollection PB - Centre for Interaction Design, Edinburgh Napier University N1 - David Benyon, Michael Smyth and Ingi Helgason (eds.) ER - TY - JOUR ID - Nevejan:306 T1 - Witnessed Presence and the YUTPA Framework A1 - Nevejan, C. JA - PsychNology Journal Y1 - 2009 VL - 7 IS - 1 SP - 59 EP - 76 SN - 1720-7525 UR - http://www.psychnology.org/421.php N2 - This paper introduces the notion of witnessed presence arguing that the performative act of witnessing presence is fundamental to dynamics of negotiating trust and truth. As the agency of witnessed presence in mediated presence differs from natural presence orchestration between natural and mediated presences is needed. The YUTPA framework, introduced in this paper, depicts 4 dimensions to define witnessed presence: time, place, action and relation. This framework also provides a context for design of trust in products and services, as illustrated for a number of illustrative scenarios. ER - TY - CONF ID - Khader:571 T1 - Reactive Monitoring of Service Level Agreements A1 - Khader, D. A1 - Padget, J. A1 - Warnier, M. TI - In the Service Level Agreements in Grids Workshop proceedings Y1 - 2009 N2 - Service Level Agreements require a monitoring system that checks that no party violates the agreement. Current monitoring techniques either have a high performance overhead or are not reliable enough. This paper proposes a new theoretical hybrid monitoring system that we call reactive monitoring. It tries to balance the disadvantages of established monitoring techniques, in particular online and offline monitoring. Online monitoring has a relatively high performance overhead and offline monitoring does not identify all possible violations. Reactive monitoring combines online monitoring, which is used for reactively checking continuous SLA properties with a new passive monitoring scheme. This scheme is used for monitoring discrete SLA properties. It is based on cryptographic primitives that provide proof that either a certain stage in an interaction has been reached correctly with all participants in compliance of the service level agreements or that a violation has occurred. In the latter case the violating party can be identified. A theoretical analysis shows that in the worst case scenario this new approach has the same overhead as online monitoring techniques and in most cases the overhead will be significantly lower. ER - TY - JOUR ID - Warnier:550 T1 - Anonymity Services for Multi-Agent Systems A1 - Warnier, M. A1 - Brazier, F. M. T. JA - Web Intelligence and Agent Systems An International Journal Y1 - 2010 VL - 8 IS - 2 SP - 219 EP - 232 SN - 1570-1263 N2 - Anonymity can be of great importance in distributed agent applications such as e-commerce & auctions. This paper proposes and analyzes a new approach for anonymous communication of agents based on the use of handles as pseudonyms. A novel naming scheme is presented that can be used by agent platforms to provide automatic anonymity of communication for \emph{all} agents on its platform, or, alternatively, to provide anonymity \emph{on demand}. The paper furthermore introduces new approaches that provide authentication and anonymous payment schemes for agents. Performance measures for an anonymity service implemented for the AgentScape platform provides some insight in the overhead involved. ER - TY - CONF ID - Schip:438 T1 - Template evaluation and selection for WS-Agreement A1 - van het Schip, R. C. A1 - van Splunter, S. A1 - Brazier, F. M. T. TI - Service Level Agreements in Grids Workshop proceedings Y1 - 2009 N2 - Large-scale use of Grids and service-oriented architectures requires agreement of providers and consumers on the terms of use of services, modelled as Service Level Agreements. WS-Agreement is an evolving standard, using advertisements to describe available services and negotiation constraints on the terms of use for a service. This allows for more efficient service discovery and negotiation. If multiple advertisements are available at the start of a negotiation, a starting advertisement needs to be selected. This, however, has great impact on the possible outcome of the negotiation process. This paper identifies relevant functions for advertisement selection and characterises their resulting behaviour. ER - TY - RPRT ID - Praczyk:433 T1 - Distributed Facial Recognition and Matching A1 - Praczyk, P. Y1 - 2009/10 M1 - Mastersthesis T2 - VU University Amsterdam N2 - The statistical face recognition methods, the Principal Component Analysis and the Linear Discriminant Analysis in particular, seem to be appropriate for the usage in a social network environment. In this paper we describe the architecture of a sample facial recognition system based on these two algorithms. The solution is based on the Map reduce distributed pro- gramming paradigm. The description of the paradigm and its Open Source implementation, Hadoop are provided. The performance measures and estimates are analysed in context of the usage pattern present in social networks such as Hyves. ER - TY - RPRT ID - Peterman:106 T1 - Threat modeling of Enterprise Content Management Systems A1 - Peterman, N. Y1 - 2009/12 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N2 - Enterprise Content Management (ECM) systems are used to store and distribute digital content in companies. This digital content consists of different kinds of documents. They are related to organizational processes and can be critical for business processes. ECM systems consist of different modules each of these modules has their own purpose, and focus on different tasks. ECM systems are designed to archive and control correspondence of documents within corporations. They can be used to store documents centrally and these can be accessed by others at the other side of the world. This helps employees communicate and it also helps align business processes, because cooperation is made easier or even automated. ECM systems also help secure electronic documents, within the system can be determined who does or who does not have access or certain privileges. ECM systems have many advantages such as workflow management, increased availability of documents and secured storage of these documents, but also bring new threats and vulnerabilities to the company and their documents. To date these threats have not been thoroughly analyzed and therefore the process of analyzing and repairing the threats must be repeated for every project and/or company. The pitfalls many companies face may have already been solved by others. A framework needs to be developed so it can be used as a guide for new implementations of ECM systems: this can help developers create better systems. This dissertation describes and illustrates an approach for documenting the attack information for Enterprise Content Management systems. The research results provide an overview of the threats and vulnerabilities that emerge in ECM systems. The threats were measured according to their probability and the damage they would cause. The results are displayed as Attack Trees. Attack Trees are designed to graphically display threats. These trees are then used to evaluate and value the threats according to their probability or the damage they could cause. This can be used by security analysts to document and identify regularly occurring security flaws within these systems. Such an analysis allows security professionals to address these reoccurring flaws and, thus, create more survivable systems. ER - TY - CONF ID - Schip:41 T1 - Deploying BDI agents in open, insecure environments A1 - van het Schip, R. C. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS'09) Y1 - 2009 N2 - Secure deployment of agents in open, insecure environments is a challenge, for which a number of multi-agent system (MAS) frameworks have been designed. Secure deployment of BDI-based MAS in such environments, however, has yet to be addressed. This paper proposes an architecture to securely support large-scale, heterogeneous, BDI-based multi-agent systems, using JASON and AgentScape to illustrate the approach. An example scenario in which BDI agents negotiate the price of electricity in an open energy market sets the stage. ER - TY - RPRT ID - Liu:819 T1 - K-Track, a MAS Enabled Proactive Forensic System A1 - Liu, D. Y1 - 2009/10 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N1 - MSc thesis report, Supervisors: Dirk de Hen, Koen Boinck, drs. Sander van Splunter, and prof. dr. Frances M.T. Brazier ER - TY - CONF ID - Splunter:772 T1 - Dynamic Service Reconfiguration and Enactment Using an Open Matching Architecture A1 - van Splunter, S. A1 - Brazier, F. M. T. A1 - Padget, J. A1 - Rana, O. TI - Proceedings of the 21th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'09) Y1 - 2009 SP - 373 EP - 374 CY - Eindhoven N1 - Extended abstract ER - TY - CONF ID - Veelen:640 T1 - Reconfiguration Management of Crisis Management Services A1 - van Veelen, J. B. A1 - van Splunter, S. A1 - Wijngaards, N. J. E. A1 - Brazier, F. M. T. TI - Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08) Y1 - 2008 CY - Enschede N1 - Extended abstract ER - TY - CONF ID - Splunter:614 T1 - Decentralized performance-aware reconfiguration of complex service configurations A1 - van Splunter, S. A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. TI - Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08) Y1 - 2008 N1 - Extended abstract ER - TY - CONF ID - Rana:576 T1 - Monitoring and Reputation Mechanisms for Service Level Agreements A1 - Rana, O. A1 - Warnier, M. A1 - Quillinan, T. B. A1 - Brazier, F. M. T. TI - Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08) Y1 - 2008 N1 - Extended abstract ER - TY - CONF ID - Gradwell:283 T1 - Engineering Large-scale Distributed Auctions A1 - Gradwell, P. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Brazier, F. M. T. A1 - Padget, J. TI - Proceedings of the 20th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'08) Y1 - 2008 CY - Enschede N1 - Extended abstract ER - TY - GEN ID - Splunter:204 T1 - Generic Reflective Autonomous Management (GRAM) A1 - van Splunter, S. A1 - van Veelen, J. B. A1 - Brazier, F. M. T. A1 - Wijngaards, N. J. E. Y1 - 2008 ER - TY - CONF ID - Rana:559 T1 - Monitoring and Reputation Mechanisms for Service Level Agreements A1 - Rana, O. A1 - Warnier, M. A1 - Quillinan, T. B. A1 - Brazier, F. M. T. TI - Proceedings of the The 20th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC08) Y1 - 2008 N2 - A Service Level Agreement (SLA) is an electronic contract between a service user and a provider, and specifies the service to be provided, Quality of Service (QoS) properties that must be maintained by a provider during service provision (generally defined as a set of Service Level Objectives (SLOs)), and a set of penalty clauses specifying what happens when service providers fail to deliver the QoS agreed. Although significant work exists on how SLOs may be specified and monitored, not much work has focused on actually identifying how SLOs may be impacted by the choice of specific penalty clauses. A trusted mediator may be used to resolve conflicts between the parties involved. The objectives of this work are to: (i) identify classes of penalty clauses that can be associated with an SLA; (ii) define how to specify penalties in an extension of WS-Agreement; and (iii) specify to what extent penalty clauses can be enforced based on monitoring of an SLA. ER - TY - GEN ID - gradwell*08b T1 - Engineering Distributed Auctions A1 - Gradwell, P. A1 - Oey, M. A. A1 - Timmer, R. J. A1 - Brazier, F. M. T. A1 - Padget, J. Y1 - 2008/5 ER - TY - CONF ID - Pournaras:742 T1 - Adaptive Agent-based Self-organization for Robust Hierarchical Topologies A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - 7th European workshop on multi-agent systems (EUMAS 09) Y1 - 2009/12 N2 - Virtual organizations in large-scale distributed environments can organize their communication in a hierarchical topology (i.e., trees). However, such topologies can be unreliable as local failures have a global impact in the organization. Hierarchical topologies need to adapt con- tinuously to changes of the underlying environment. Pro-active and re- active self-organization can make such topologies highly robust. This paper proposes AETOS, the Adaptive Epidemic Tree Overlay Ser- vice. AETOS is a new agent-based approach for building and maintaining on-demand robust tree topologies that structure communication. Agents are pro-actively (self)-organized appropriately in a tree to minimize the effect of failures. In addition, they re-actively rewire their connections to reflect changes in the environment. The self-organization model, the control of the system and an illustrative example are discussed in this paper. ER - TY - CONF ID - Pournaras:429 T1 - A Distributed Agent-based Approach to Stabilization of Global Resource Utilization A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - 21th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2009) Y1 - 2009/10 SP - 353 EP - 354 ER - TY - CONF ID - Quillinan:92 T1 - Using Agent-based Organisational Models for Crisis Management A1 - Quillinan, T. B. A1 - Brazier, F. M. T. A1 - Aldewereld, H. M. A1 - Dignum, F. A1 - Dignum, V. A1 - Penserini, L. A1 - Wijngaards, N. J. E. TI - Proceedings of the 21th Belgium-Netherlands Artificial Intelligence Conference (BNAIC'09) Y1 - 2009 SP - 355 EP - 356 CY - Eindhoven N1 - Extended abstract ER - TY - CONF ID - Ogston:347 T1 - Apportionment of Control in Virtual Power Stations A1 - Ogston, E. A1 - Brazier, F. M. T. TI - In the proceedings of the international conference on infrastructure systems and services 2009: Developing 21st Century Infrastructure Networks Y1 - 2009 N2 - Distributed energy resource management involves matching the production of and demand for power in electrical grids. This leads to the question, where should responsibility for resource use be placed? A number of potential management schemes exist in current work on complex large-scale distributed computer systems. This paper works towards a comparison of their relative performance. A test scenario is designed, based on the concept of a virtual power station. Simulations are run, using input data from an actual system, to produce estimates of the overall cost of electricity in a virtual power station over a given period. Results are presented that examine the effect of improving or weakening management precision at various points. These indicate that fairly weak management techniques may be sufficient. While the presence of a number of forms of management, including central control, local autonomous control, and variation of group composition, is significant, improved management does not bring very large additional benefits. This can have important implications when designing virtual power station implementations. For instance it indicates low-grade communication networks and control devices may provide the best return on investment. ER - TY - CONF ID - clark2010sms T1 - Secure Monitoring of Service Level Agreements A1 - Clark, K. P. A1 - Warnier, M. A1 - Quillinan, T. B. A1 - Brazier, F. M. T. TI - Proceedings of the Second International Workshop on Organizational Security Aspects (OSA 2010) Y1 - 2010/3 PB - IEEE KW - sla KW - ws-agreement KW - distributed monitoring KW - reliability N2 - Service Level Agreements (SLA) are commonly used to define terms and conditions of service provisioning. WS-Agreement1 is an SLA specification that addresses the need of both producers and consumers of services to specify and negotiate terms and conditions of access to these services. This specification has gained wide acceptance in both the Grid computing and Web Services communities. WS-Agreement includes support for both negotiating and specifying penalties that arise from violation of these terms and conditions. It does not, however, include support for monitoring these agreements to determine if any such violations have occurred and, if so, determining which parties are responsible. This paper proposes a framework and design for secure and reliable monitoring of WS-Agreement specified SLAs. Modifications to WS-Agreement are necessary for effective monitoring. These modifications are outlined, along with an implementation of the framework in the AgentScape middle- ware system. ER - TY - RPRT ID - Ruiter:449 T1 - The Relationship between Privacy and Information Security in Cloud Computing Technologies A1 - Ruiter, J. Y1 - 2009 M1 - Mastersthesis T2 - Vrije Universiteit Amsterdam N2 - Cloud Computing is a new paradigm in the world of IT. In traditional IT environments, clients connected to a number of servers located on company premises. In Cloud Computing, users connect to the “Cloud”, appearing as a single entity as opposed to multiple servers. In external Cloud Computing, the Cloud represents an outsourced infrastructure (Infrastructure as a Service, IaaS), development platform (Platform as a Service, PaaS) or software service (Software as a Service, SaaS). Outsourcing data to the Cloud Service Provider (CSP), an external party involves giving the CSP some form of control over the data. Privacy regulations put requirements on organizations regarding storage, processing and transmission of data. Outsourcing this data to a CSP involves outsourcing partial control over the storage, processing and transmission of data. This research has two related objectives, formulated in the following problem statement: How do existing regulations in the area of privacy affect the implementation of Cloud Computing technologies and how does the implementation of Cloud Computing technologies affect compliance with these regulations? The first part of the problem statement involves how current privacy regulations affect implementations of Cloud Computing. In other words: do privacy regulations play a role in the design and implementation of Cloud Computing within an organization. The second part of the problem statement involves how implementation of Cloud Computing affects compliance with privacy regulations. This part aims at discovering how regulations should be interpreted regarding Cloud Computing. This thesis tries to answer the problem statement by a qualitative, exploratory literature study, questionnaire and interviews. The literature study was used to create a questionnaire and interview questions for CSPs. An attempt to answer the problem statement was made by combining the literature study with the questionnaire and interviews. ER - TY - CONF ID - Veiel:659 T1 - Facilitating Group-based Adaptation of Shared Workspaces using a Multi-Agent System A1 - Veiel, D. A1 - Lukosch, S. A1 - Warnier, M. A1 - Oey, M. A. A1 - Haake, J. M. TI - In the proceedings of the Context-Adaptive Interaction for Collaborative Work (CAICOLL'10) workshop Y1 - 2010 N2 - In this paper we present an agent-based approach to facili- tate context-based adaptations using context information of a group of users. To minimize the effort to collect all rele- vant information of the current collaboration situation, and the amount of data to be kept, we propose a decentralized, agent-based approach that keeps track of the contextualized state. ER - TY - CHAP ID - Oey:415 T1 - Security in Large-Scale Open Distributed Multi-Agent Systems A1 - Oey, M. A. A1 - Warnier, M. A1 - Brazier, F. M. T. ED - Kordic, V. Y1 - 2010/6 M1 - Inbook SP - 107 EP - 130 U2 - Chapter: 6 PB - IN-TECH SN - 978-953-307-089-6 UR - http://sciyo.com/articles/show/title/security-in-large-scale-open-distributed-multi-agent-systems ER - TY - CONF ID - Ruiter:450 T1 - Privacy Regulations for Cloud Computing, Compliance and Implementation in Theory and Practice A1 - Ruiter, J. A1 - Warnier, M. TI - In the proceedings of the Workshop on Security and Privacy in Cloud Computing (SPCC 2010) Y1 - 2010 ER - TY - JOUR ID - Pournaras:751 T1 - Local Agent-based Self-stabilisation in Global Resource Utilisation A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. JA - International Journal of Autonomic Computing (IJAC) Y1 - 2010 N2 - Distributed management of complex large-scale infrastructures, such as power distribution systems, is challenging. Sustainability of these systems can be achieved by enabling stabilisation in global resource utilisation. This paper proposes EPOS, the Energy Plan Overlay Self-stabilisation system, for this pur- pose. EPOS is an agent-based approach that performs self-stabilisation over a tree overlay, as an instance of a hierarchical virtual organisation. The global goal of stabilisation emerges through local knowledge, local decisions and local interactions among software agents organised in a tree. Two fitness functions are proposed to stabilise global resource utilisation. The first proactively keeps deviations minimised and the second reactively reverses deviations. Extensive experimentation reveals that EPOS outperforms a system that utilises resources in a greedy manner. Finally, this paper also investigates and evaluates factors that influence the effectiveness of EPOS. ER - TY - CHAP ID - Pournaras:284 T1 - Self-optimized Tree Overlays using Proximity-driven Self-organized Agents A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. T3 - Optimization and its Applications Y1 - 2010 M1 - Inbook U1 - Edition: Complex Intelligent Systems and Their Applications U2 - Chapter: 7 PB - Springer N2 - Hierarchical structures are often deployed in large scale distributed sys- tems to structure communication. Building and maintaining such structures in dy- namic environments is challenging. Self-organisation is the approach taken in this chapter. AETOS, the Adaptive Epidemic Tree Overlay Service, provides tree over- lays on demand. AETOS uses three local agents to this purpose (i) to translate ap- plication requirements to self-organisation requirements, (ii) to self-organise nodes into optimised tree topologies based on these requirements, (iii) to control boot- strapping and termination of self-organisation. The evaluation of AETOS in dif- ferent simulation settings shows that it provides high connectivity in tree overlays optimised according to application requirements. ER - TY - CONF ID - Pournaras:478 T1 - Towards Emergent Energy Synchronization using Agents A1 - Pournaras, E. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - In proceedings of the the First International Workshop on Agent Technologies for Energy Systems (ATES 2010) Y1 - 2010 N2 - Synchronization of energy consumption is a key determinant for the stabilization of smart energy grids. This paper proposes software agents that locally synchronize the energy usage of appliances to minimize the oscillations in global energy consumption. Agents can manage demand-side devices with periodic operation and synchronize their consumption locally resulting in an emerging global stability of energy consumption. The benefits and challenges of such an approach are discussed in this paper. ER - TY - CONF ID - Padget:935 T1 - An Agent-Based Infrastructure for Energy Profile Capture and Management A1 - Padget, J. A1 - Riat, H. A1 - Warnier, M. A1 - Brazier, F. M. T. A1 - Natarajan, S. TI - In the proceedings of the First International Workshop on Agent Technologies for Energy Systems (ATES 2010) Y1 - 2010 N2 - Accurately and dynamically monitoring energy usage patterns in households forms a first requirement for more efficient and eco-friendly energy management in the future. Monitored energy usage data can be used by power systems engineering -to inform demand-side management systems in the near future term- and in architecture/civil engineering -where it can be used to carry out long-term studies across populations and sectors to estimate future demand and to evaluate prospective (social) policies. This paper presents an agent based prototype of an architecture to meet these needs. The proposed system remains flexible to new functional requirements and adaptable to new edge devices for data collection, as well as offering the potential to `close the loop' and permit remote control of power supplies to individual appliances. Some preliminary analyses of data collected is used to illustrate what may be possible in the longer term. ER - TY - CONF ID - Shishkov:469 T1 - On the Application of Autonomic and Context Aware-Computing to support Home Energy Management A1 - Shishkov, B. B. A1 - Warnier, M. A1 - van Sinderen, M. J. TI - proceedings of the 12th International Conference on Enterprise Information Systems (ICEIS 2010) Y1 - 2010 N2 - Conventional energy sources are becoming scarce and with no (eco-friendly) alternatives deployed at a large scale, it is currently important finding ways to better manage energy consumption. We propose in this paper ICT-related solution directions that concern the energy consumption management within a household. In particular, we consider two underlying objectives, namely: (i) to minimize the energy consumption in households; (ii) to avoid energy consumption peaks for larger residential areas. The proposed solution directions envision a service-oriented approach that is used to integrate ideas from Autonomic Computing and Context-aware Computing: (a) The former influences our considering a selective on/off powering of thermostatically controlled appliances, which allows for energy redistribution over time; (b) The latter influences our using context information to analyze the energy requirements of a household at a particular moment and based on this information, appliances can be powered down. Household-internally, this can help adjusting energy consumption as low as it can be with no violation of the preferences of residents. Area-wise, this can help avoiding energy consumption peaks. It is expected thus that such an approach can contribute to the reduction of home energy consumption in an effective and user-friendly way. Our proposed solution directions are not only introduced and motivated but also partially elaborated through a small illustrative example. ER - TY - CONF ID - Haydarlou:2010a T1 - Structured Use-Cases as a Basis for Self-Management of Distributed Systems A1 - Haydarlou, A. R. A1 - Oey, M. A. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - proceedings of the 5th International Conference on Software and Data Technologies (ICOSFT 2010) Y1 - 2010 N2 - Automated support for management of complex distributed object-oriented systems is a challenge: self-management of such systems the goal. This paper presents a use-case based approach to self-management of such systems, focusing on autonomic monitoring and diagnosis. The existing notion of use-case has been extended to different levels of system design: explicitly specifying system behavior at different levels, and the relations between these levels, coupling structural models to these descriptions when and where appropriate. The proposed model is illustrated with a small example. ER - TY - THES ID - Splunter:420 T1 - Automated Web Service Reconfiguration A1 - van Splunter, S. Y1 - 2010/3 M1 - Phdthesis T2 - VU University Amsterdam ER - TY - GEN ID - Splunter:19 T1 - Using composition knowledge for design adaptations A1 - van Splunter, S. A1 - van Langen, P. H. G. A1 - Brazier, F. M. T. Y1 - 2010/7 ER - TY - CONF ID - oey*10 T1 - A Framework for Developing Agent-Based Distributed Applications A1 - Oey, M. A. A1 - van Splunter, S. A1 - Ogston, E. A1 - Warnier, M. A1 - Brazier, F. M. T. TI - Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT-10) Y1 - 2010/9 PB - IEEE/WIC/ACM CY - Toronto, Canada N1 - To appear ER - |