10038 search results - page 222 / 2008 » Model Checking for Managers |
125
click to vote
ACL
2006
15 years 6 months ago
2006
A web search with double checking model is proposed to explore the web as a live corpus. Five association measures including variants of Dice, Overlap Ratio, Jaccard, and Cosine, ...
131
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
130
click to vote
ICEIS
2008
IEEE
15 years 11 months ago
2008
IEEE
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
147
click to vote
WECWIS
2005
IEEE
15 years 10 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...
173
click to vote
CIKM
2008
Springer
15 years 7 months ago
2008
Springer
The extension of Regular Expressions (REs) with an interleaving (shuffle) operator has been proposed in many occasions, since it would be crucial to deal with unordered data. Howe...