14331 search results - page 189 / 2867 » On the modeling and analysis of obligations |
179
click to vote
AMFG
2005
IEEE
16 years 3 days ago
2005
IEEE
We present a new framework to represent and analyze dynamic facial motions using a decomposable generative model. In this paper, we consider facial expressions which lie on a one d...
151
click to vote
APSEC
2005
IEEE
16 years 3 days ago
2005
IEEE
We report on a case study in which the Maude model checker has been used to analyze the Suzuki-Kasami distributed mutual exclusion algorithm with respect to the mutual exclusion p...
181
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
This research aims to develop a model of trust and reputation that will ensure good interactions amongst software agents in large scale open systems. The following are key drivers...
154
click to vote
NBIS
2009
Springer
15 years 11 months ago
2009
Springer
act— Web alerts are user-defined monitor conditions for public Internet information in which notification messages are sent to users whenever their alert conditions are met. The ...
162
click to vote
ESWA
2008
15 years 6 months ago
2008
Empirical studies of the variation in debt ratios across firms have used statistical models singularly to analyze the important determinants of capital structure. Researchers, how...