14331 search results - page 314 / 2867 » On the modeling and analysis of obligations |
160
click to vote
IPPS
2005
IEEE
16 years 9 days ago
2005
IEEE
— Schedule synthesis based on reachability analysis of timed automata has received attention in the last few years. The main strength of this approach is that the expressiveness ...
194
click to vote
LCN
2005
IEEE
16 years 9 days ago
2005
IEEE
— An analytical model is proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA provides class-b...
172
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
The Markov Random Walk model has been recently exploited for multi-document summarization by making use of the link relationships between sentences in the document set, under the ...
197
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper addresses the problem of rate distortion analysis in the context of multi-view image coding, where images are predicted via disparity compensation based on depth map. W...
202
click to vote
WCRE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...