276 search results - page 48 / 56 » Abstraction and Refinement for Local Reasoning |
160
Voted
ACIVS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Prematurely born infants are observed at a Neonatal Intensive Care Unit (NICU) for medical treatment. Whereas vital body functions are continuously monitored, their incub...
142
click to vote
LPNMR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In answer-set programming (ASP), many notions of program equivalence have been introduced and formally analysed. A particular line of research in this direction aims at s...
130
Voted
CISS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract—To achieve higher reliability, safety, and faulttolerance, many mission-critical detection and decision systems implement consensus algorithms that force the systems’ ...
124
Voted
SASO
2008
IEEE
15 years 10 months ago
2008
IEEE
—Distance sensitivity is a locality concept that is useful for designing scalable wireless sensor network applications. In this paper, we formally define distance sensitivity an...
133
Voted
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— It is well-known that perfect channel state information (CSI) at the transmitter and the receiver (CSIT/CSIR) can be used to decompose a multi-antenna channel into a ba...