14331 search results - page 97 / 2867 » On the modeling and analysis of obligations |
171
click to vote
ENTCS
2006
15 years 6 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
198
click to vote
ISAMI
2010
15 years 4 months ago
2010
It is recognized in Ambient Intelligence that ambient devices should be modeled as intelligent autonomous components rather than passive information sources. The agent paradigm sui...
151
click to vote
CMA
2010
15 years 3 months ago
2010
This report develops and studies a new family of NSE-regularizations, Tikhonov Leray Regularization with Time Relaxation Models. This new family of turbulence models is based on a...
149
click to vote
JSS
2000
15 years 6 months ago
2000
The upstream activities of software development projects are often viewed as both the most important, the least understood, and hence the most problematic. This is particularly no...
157
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
In this paper we develop a variant of a previously proposed method the regenerative randomization method for the transient analysis of dependability performability models. The va...