12981 search results - page 544 / 2597 » Model Checking (Abstract) |
175
click to vote
TIT
2002
15 years 6 months ago
2002
Abstract-- This paper starts a systematic study of capacityachieving sequences of low-density parity-check codes for the erasure channel. We introduce a class Aof analytic function...
185
click to vote
SUTC
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Camera networks are used for a variety of applications including surveillance, traffic monitoring or elderly care. The shift from analog towards fully digitized systems...
188
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
216
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
196
click to vote
FORTE
2009
15 years 4 months ago
2009
Abstract. Building complex component-based software systems, for instance communication systems based on the Click, Coyote, Appia, or Dream frameworks, can lead to subtle assemblag...