19130 search results - page 3587 / 3826 » Modelling multi-path problems |
105
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
One of the benefits of finite-state verification (FSV) tools, such as model checkers, is that a counterexample is provided when the property cannot be verified. Not all counterexa...
122
click to vote
SIGSOFT
2001
ACM
16 years 3 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
149
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Transferring knowledge from one domain to another is challenging due to a number of reasons. Since both conditional and marginal distribution of the training data and test data ar...
140
click to vote
WWW
2009
ACM
16 years 3 months ago
2009
ACM
Social media websites promote diverse user interaction on media objects as well as user actions with respect to other users. The goal of this work is to discover community structu...
153
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Recent technology trends in the Web Services (WS) domain indicate that a solution eliminating the presumed complexity of the WS-* standards may be in sight: advocates of REpresent...