5639 search results - page 455 / 1128 » Timed Abstract Non-interference |
118
click to vote
ISMB
2001
15 years 6 months ago
2001
Abstract: Absolute fast converging phylogenetic reconstruction methods are provably guaranteed to recover the true tree with high probability from sequences that grow only polynomi...
123
Voted
WALCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. Computing visible information, such as a visible surface determination, is a significant problem and has been mainly studied in the fields of computational geometry and...
147
click to vote
ADHOCNOW
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. We study the feasibility and time of communication in random geometric radio networks, where nodes fail randomly with positive correlation. We consider a set of radio sta...
181
click to vote
CAISE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Traditionally, process mining has been used to extract models from event logs and to check or extend existing models. This has shown to be useful for improving processes ...
172
click to vote
CAISE
2010
Springer
15 years 6 months ago
2010
Springer
Abstract As service-based Internet systems get increasingly complex they become harder to manage at design time as well as at runtime. Nowadays, many systems are described in terms...