2004 search results - page 321 / 401 » Comparison of Model Checking Tools for Information Systems |
IUI
2003
ACM
15 years 5 months ago
2003
ACM
How do we know if we can afford a particular purchase? We can find out what the payments might be and check our balances on various accounts, but does this answer the question? Wh...
136
click to vote
USS
2010
14 years 9 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
220
Voted
SIGCOMM
2012
ACM
13 years 2 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...
117
click to vote
WWW
2006
ACM
16 years 16 days ago
2006
ACM
Large-scale text categorization is an important research topic for Web data mining. One of the challenges in large-scale text categorization is how to reduce the amount of human e...
112
click to vote
SEBD
1997
15 years 1 months ago
1997
Abstract. Multidimensional databases are large collections of data, often historical, used for sophisticated analysis oriented to decision making. This activity is supported by an ...