Sciweavers

2704 search results - page 478 / 541
» Agent Development with Jackal
Sort
View
IEEEAMS
2003
IEEE
15 years 11 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
FM
2003
Springer
146views Formal Methods» more  FM 2003»
15 years 11 months ago
Interacting State Machines for Mobility
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
Thomas A. Kuhn, David von Oheimb
HICSS
2002
IEEE
111views Biometrics» more  HICSS 2002»
15 years 11 months ago
Intelligent Workflow Techniques for Distributed Group Facilitation
Distributed group facilitation techniques are becoming a necessity because many of the face-toface facilitation techniques are no longer suitable in a distributed environment. Alt...
Jay F. Nunamaker, J. Leon Zhao, Robert O. Briggs
EPIA
2009
Springer
15 years 11 months ago
Control and Monitoring of a Robotic Soccer Team: The Base Station Application
In robotic soccer, teams of autonomous robots play soccer according to rules similar to the official FIFA rules. The game is refereed by a human and his orders are communicated to ...
Nuno M. Figueiredo, António J. R. Neves, Nu...
ICRE
1996
IEEE
15 years 10 months ago
A facilitator method for upstream design activities with diverse stakeholders
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
Regina M. Gonzales, Alexander L. Wolf