8917 search results - page 1688 / 1784 » Abstraction in Algorithm Animation |
139
click to vote
FUIN
2010
15 years 1 months ago
2010
Abstract. Logic Programs with Annotated Disjunctions (LPADs) allow to express probabilistic information in logic programming. The semantics of an LPAD is given in terms of the well...
147
click to vote
IFM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. The automata-based model checking approach for randomized distributed systems relies on an operational interleaving semantics of the system by means of a Markov decision ...
118
click to vote
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—When forwarding packets in the Internet, Autonomous Systems (ASes) frequently choose the shortest path in their network to the next-hop AS in the BGP path, a strategy kn...
136
click to vote
MIDDLEWARE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. To disseminate messages from a single source to a large number of targeted receivers, a natural approach is the tree-based application layer multicast (ALM). However, in ...
130
Voted
SAS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...