1382 search results - page 160 / 277 » Formal Analysis of Online Algorithms |
164
click to vote
FORMATS
2007
Springer
16 years 18 days ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
172
click to vote
IPSN
2005
Springer
15 years 12 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
176
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
196
click to vote
CIIA
2009
15 years 7 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
170
click to vote
TSMC
2010
15 years 1 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...