10038 search results - page 1933 / 2008 » Model Checking for Managers |
202
click to vote
GIS
2003
ACM
16 years 1 months ago
2003
ACM
A GIS provides a powerful collection of tools for the management, visualization and analysis of spatial data. These tools can be even more powerful when they are integrated with s...
96
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
110
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Currently most link-related applications treat all links in the same web page to be identical. One link-related application usually requires one certain property of hyperlinks but...
124
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Improving the precision of information retrieval has been a challenging issue on Chinese Web. As exemplified by Chinese recipes on the Web, it is not easy/natural for people to us...
123
Voted
WWW
2007
ACM
16 years 1 months ago
2007
ACM
Continuous queries are used to monitor changes to time varying data and to provide results useful for online decision making. Typically a user desires to obtain the value of some ...