Sciweavers

2435 search results - page 75 / 487
» GPSS - 40 years of development
Sort
View
ATAL
2004
Springer
15 years 11 months ago
Protocol/Mechanism Design for Cooperation/Competition
Developing interaction rules/protocols among multiple agents is one of the central research topics in multi-agent systems. For cooperative agents, we need to develop protocols so ...
Makoto Yokoo
FM
2003
Springer
102views Formal Methods» more  FM 2003»
15 years 11 months ago
Lessons Learned from a Successful Implementation of Formal Methods in an Industrial Project
This paper describes the lessons we learned over a thirteen year period while helping to develop the shutdown systems for the nuclear generating station at Darlington, Ontario, Can...
Alan Wassyng, Mark Lawford
DEXAW
2000
IEEE
61views Database» more  DEXAW 2000»
15 years 10 months ago
Paradigma: Agent Implementation through Jini
One of the key problems of recent years has been the divide between theoretical work in agent-based systems and its practical complement which have, to a large extent, developed a...
Ronald Ashri, Michael Luck
106
Voted
ICSE
1999
IEEE-ACM
15 years 10 months ago
WinWin: A System for Negotiating Requirements
T WinWin is a system that aids in the capture and recording of system requirements. It also assists in negotiation. The WinWin system has been available for several years and is be...
Ellis Horowitz, Joo H. Lee, June Sup Lee
ICCL
1992
IEEE
15 years 9 months ago
Multiparadigm data structures in Leda
Multiparadigm programming is a term used to describe a style of software development that makes use of facilities originally designed in support of a number of di erent programmin...
Timothy A. Budd