Sciweavers

1929 search results - page 156 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
134
Voted
ATAL
2006
Springer
15 years 7 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
AICOM
1999
116views more  AICOM 1999»
15 years 3 months ago
Generating On-Board Diagnostics of Dynamic Automotive Systems Based on Qualitative Models
On-board diagnostic systems play an important role in the current generation of cars and will play an increasingly important role in the next future. The design of on-board diagno...
Fulvio Cascio, Luca Console, Marcella Guagliumi Ma...
APIN
2006
154views more  APIN 2006»
15 years 4 months ago
Service matching in agent systems
The problem of service and resource matching is being actively discussed currently as a new challenging task for the next generation of semantic discovery approaches for Web servic...
Anton Naumenko, Sergiy Nikitin, Vagan Y. Terziyan
115
Voted
ANSS
2001
IEEE
15 years 7 months ago
Models of Complex Physical Systems Using Cell-DEVS
We present the definition of diverse models of physical systems using the Cell-DEVS paradigm. Cell-DEVS is an extension of the DEVS formalism that allows the definition of cellula...
Javier Ameghino, Alejandro Troccoli, Gabriel A. Wa...
HYBRID
2000
Springer
15 years 7 months ago
Towards Procedures for Systematically Deriving Hybrid Models of Complex Systems
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
Pieter J. Mosterman, Gautam Biswas