4353 search results - page 283 / 871 » Expressiveness of Process Algebras |
180
click to vote
IDEAS
2008
IEEE
16 years 1 months ago
2008
IEEE
As the popularity of areas including document storage and distributed systems continues to grow, the demand for high performance XML databases is increasingly evident. This has le...
178
click to vote
VALUETOOLS
2006
ACM
16 years 18 days ago
2006
ACM
We present a new approximation method called value extrapolation for Markov processes with large or infinite state spaces. The method can be applied for calculating any performan...
172
click to vote
ESOP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present PacLang: an imperative, concurrent, linearlytyped language designed for expressing packet processing applications. PacLang’s linear type system ensures that ...
157
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
A number of applications that process XML documents interpret them as objects of application specific classes in a given domain. Generic interfaces such as SAX and DOM leave this ...
186
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— Bayesian networks have extensively been used in numerous fields including artificial intelligence, decision theory and control. Its ability to utilize noisy and missing data ...