5864 search results - page 309 / 1173 » Can We Work around Numerical Methods |
260
click to vote
ICFEM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
202
click to vote
SIGCSE
2009
ACM
16 years 8 months ago
2009
ACM
Cloud computing is rapidly increasing in popularity. Companies such as RedHat, Microsoft, Amazon, Google, and IBM are increasingly funding cloud computing infrastructure and resea...
199
click to vote
FLAIRS
2008
15 years 9 months ago
2008
The next generation of online reference works will require structured representations of their contents in order to support scholarly functions such as semantic search, automated ...
202
Voted
EDBT
2009
ACM
16 years 2 months ago
2009
ACM
Business processes drive the operations of an enterprise. In the past, the focus was primarily on business process design, modeling, and automation. Recently, enterprises have rea...
222
click to vote
CADE
2009
Springer
16 years 8 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...