10159 search results - page 1977 / 2032 » System Design Validation Using Formal Models |
WECWIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Flexible workflow systems are needed for processes that need consistency as well as flexibility (e.g., personalized client interactions). A methodology for designing flexible serv...
WIDM
2005
ACM
14 years 1 months ago
2005
ACM
Web Directories are repositories of Web pages organized in a hierarchy of topics and sub-topics. In this paper, we present DirectoryRank, a ranking framework that orders the pages...
CIKM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents a novel formulation and approach to the minimal document set retrieval problem. Minimal Document Set Retrieval (MDSR) is a promising information retrieval task...
CSCW
2004
ACM
14 years 1 months ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
Understanding the nature of the information flowing into and out of a system or network is fundamental to determining if there is adherence to a usage policy. Traditional methods...