741 search results - page 39 / 149 » SMILE - A Framework for Semantic Applications |
143
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
Policies are widely used in many systems and applications. Recently, it has been recognized that a "yes/no" response to every scenario is just not enough for many modern...
155
click to vote
FMOODS
2003
15 years 7 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
158
click to vote
IWNAS
2008
IEEE
16 years 17 days ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
194
click to vote
JMLR
2006
15 years 6 months ago
2006
We develop a new component analysis framework, the Noisy-Or Component Analyzer (NOCA), that targets high-dimensional binary data. NOCA is a probabilistic latent variable model tha...
199
click to vote
TACAS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...