1151 search results - page 140 / 231 » A Generative Approach for Multi-agent System Development |
FROCOS
2009
Springer
14 years 3 months ago
2009
Springer
When trying to apply recently developed approaches for updating Description Logic ABoxes in the context of an action programming language, one encounters two problems. First, upda...
VL
1999
IEEE
14 years 1 months ago
1999
IEEE
Recently a new metaphor for diagramming, the intelligent diagram has emerged. This new metaphor provides an excellent basis for diagram beautification since it automatically colle...
FM
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
COR
2010
13 years 9 months ago
2010
We deal with a multi-echelon inventory system in which one warehouse supplies an item to multiple retailers. Customer demand arrives at each retailer at a constant rate. The retai...
IJISTA
2010
13 years 7 months ago
2010
- Piezoelectric materials can be used to convert mechanical energy, such as vibration into electrical energy which can be used to power up devices in a smart dust sensing network. ...