An Internet Based Framework for Micro Devices Assembly

2006 ◽  
Author(s):  
N. Gobinath ◽  
J. Cecil ◽  
T. Son
Keyword(s):  
Life Cycle ◽  
Programming Language ◽  
Distributed Approach ◽  
Agent Programming ◽  
Oriented Approach

This paper outlines the design of an Internet based collaborative framework to support the rapid assembly of micro devices. With the help of an agent programming language called 3APL, a distributed approach to achieving the life cycle of the various phases in the assembly of micro devices has been implemented. A discussion of the various agent resources created for a VE oriented approach is also provided in this paper.

On the Formal Specification and Verification of Multi-Agent Systems

1997 ◽  
Vol 06 (01) ◽  
pp. 37-65 ◽  
Author(s):  
Michael Fisher ◽  
Michael Wooldridge
Keyword(s):  
Programming Language ◽  
Formal Specification ◽  
Multi Agent Systems ◽  
Agent Systems ◽  
Agent Programming ◽  
Formal Specification And Verification ◽  
Multi Agent ◽  
Specification And Verification

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics. The article first describes Concurrent METATEM, a multi-agent programming language, and then develops a logic that may be used to reason about Concurrent METATEM systems. The utility of this logic for specifying and verifying Concurrent METATEM systems is demonstrated through a number of examples. The article concludes with a brief discussion on the wider implications of the work, and in particular on the use of similar logics for reasoning about multi-agent systems in general.

SWAM: A logic-based mobile agent programming language for the Semantic Web

2011 ◽  
Vol 38 (3) ◽  
pp. 1723-1737 ◽  
Author(s):  
Marco Crasso ◽  
Cristian Mateos ◽  
Alejandro Zunino ◽  
Marcelo Campo
Keyword(s):  
Semantic Web ◽  
Programming Language ◽  
Mobile Agent ◽  
Agent Programming

Run-time environment for the SARL agent-programming language: the example of the Janus platform

2020 ◽  
Vol 107 ◽  
pp. 1105-1115 ◽  
Author(s):  
Stéphane Galland ◽  
Sebastian Rodriguez ◽  
Nicolas Gaud
Keyword(s):  
Programming Language ◽  
Agent Programming ◽  
Run Time

scholarly journals Belief Revision in the GOAL Agent Programming Language

2013 ◽  
Vol 2013 ◽  
pp. 1-11 ◽  
Author(s):  
Johannes Svante Spurkeland ◽  
Andreas Schmidt Jensen ◽  
Jørgen Villadsen
Keyword(s):  
Programming Language ◽  
Belief Revision ◽  
Multiagent System ◽  
Revision Procedure ◽  
Agent Programming

Agents in a multiagent system may in many cases find themselves in situations where inconsistencies arise. In order to properly deal with these, a good belief revision procedure is required. This paper illustrates the usefulness of such a procedure: a certain belief revision algorithm is considered in order to deal with inconsistencies and, particularly, the issue of inconsistencies, and belief revision is examined in relation to the GOAL agent programming language.

scholarly journals ANALISIS DAN IMPLEMENTASI SISTEM INFORMASI PENJUALAN BERBASIS WEB PADA UKM TIARA CAKERY BATAM

2019 ◽  
Author(s):  
okta veza
Keyword(s):  
Life Cycle ◽  
Software Development ◽  
Programming Language ◽  
Small And Medium Enterprises ◽  
Flow Diagram ◽  
Good Service ◽  
Development Life Cycle ◽  
Data Flow Diagram ◽  
Software Development Life Cycle ◽  
Medium Enterprises

This study aims to help Small and Medium Enterprises (SME) Tiara Cakery Batam tosell products online. The object of this research is creating a website to make it easier forcustomers purchase products without visiting the sales location directly. This online salesapplication provides good service for customers so that they can see the pictures and prices ofproducts directly through this application and can order these products from anywhere. Thedesign of this application uses the SDLC method (software development life cycle), described byDFD (Data flow diagram), PHP as a programming language, MySQL as a database, andMacromedia Dreamweaver as an HTML editor. This research is expected to be developed in theAndroid version.

Sign in / Sign up

Export Citation Format

Share Document