1541 search results - page 271 / 309 » Tools and Techniques for Model Checking Networked Programs |
POLICY
2004
Springer
15 years 5 months ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
107
click to vote
CRIWG
2004
15 years 1 months ago
2004
Collaborative distance learning involves a variety of elements and factors that have to be considered and measured in order to analyse and assess group and individual performance m...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Data referring to cultural calendars such as the widespread Gregorian dates but also dates after the Chinese, Hebrew, or Islamic calendars as well as data referring to professiona...
115
Voted
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
In this paper we discuss our recent research and open issues in structural and semantic analysis of digital videos. Specifically, we focus on segmentation, summarization and class...