1380 search results - page 126 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
SYNTHESE
2011
13 years 5 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
SEFM
2008
IEEE
14 years 4 months ago
2008
IEEE
Formal models of rational user behaviour are essential for user-centred reasoning about interactive systems. At an level, planned behaviour and reactive behaviour are two importan...
APCCM
2010
13 years 11 months ago
2010
In this paper we extend the preliminary work developed elsewhere and investigate how to characterise many aspects of the compliance problem in business process modeling. We first ...
ER
2008
Springer
14 years 1 days ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
IJCSA
2007
13 years 10 months ago
2007
In this paper, we propose a new quantitative trust model for argumentation-based negotiating agents. The purpose of such a model is to provide a secure environment for agent negot...