10038 search results - page 1904 / 2008 » Model Checking for Managers |
120
Voted
SIGMOD
2001
ACM
16 years 26 days ago
2001
ACM
Digital archives are dedicated to the long-term preservation of electronic information and have the mandate to enable sustained access despite rapid technology changes. Persistent...
141
click to vote
ICFP
2001
ACM
16 years 21 days ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
114
Voted
SAC
2010
ACM
15 years 7 months ago
2010
ACM
Cluster-based multi-tier systems provide a means for building scalable Internet services. Building adaptive Internet services that are able to apply appropriate system sizing and ...
114
Voted
ICDM
2009
IEEE
15 years 7 months ago
2009
IEEE
This paper offers a local distributed algorithm for expectation maximization in large peer-to-peer environments. The algorithm can be used for a variety of well-known data mining...
100
click to vote
INFOCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Mobile wireless network research focuses on scenarios at the extremes of the network connectivity continuum where the probability of all nodes being connected is either ...