Sciweavers

3199 search results - page 51 / 640
» Variability in Automation System Models
Sort
View
CADE
2007
Springer
14 years 9 months ago
The Bedwyr System for Model Checking over Syntactic Expressions
David Baelde, Andrew Gacek, Dale Miller, Gopalan N...
KESAMSTA
2009
Springer
14 years 3 months ago
An Approximate Model for Bidders in Sequential Automated Auctions
In this paper, we propose a probabilistic model to study the interaction of bidder and seller agents in sequential automated auctions. We consider a designated “special bidder”...
Erol Gelenbe, Kumaara Velan
AAAI
1994
13 years 10 months ago
Model-Based Automated Generation of User Interfaces
1 User interface design and development for knowledgebased systems and most other types of applications is a resource-consuming activity. Thus, many attempts have been made to auto...
Angel R. Puerta, Henrik Eriksson, John H. Gennari,...
ICRA
2007
IEEE
122views Robotics» more  ICRA 2007»
14 years 3 months ago
Integrated Design Methodology for an Automated Transportation System in a Seaport Terminal
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
Satoshi Hoshino, Jun Ota
IJAOSE
2010
126views more  IJAOSE 2010»
13 years 6 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur