5599 search results - page 682 / 1120 » Abstract State Services |
221
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Shared mutable objects pose grave challenges in reasoning, especially for data abstraction and modularity. This paper presents a novel logic for erroravoiding partial correctness o...
200
click to vote
GLOBECOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Inhome Power Line Communications (PLC) enables new and highly convenient networking functions without any additional wires to mains-powered devices. Multiple Input Multi...
140
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
190
click to vote
ICA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this paper, we propose a method for blind source separation (BSS) of convolutive audio recordings with short blocks of stationary sources, i.e. dynamically changing so...
182
click to vote
ICALP
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Given an ML function f : (int->int)->int how can we rigorously specify that f is pure, i.e., produces no side-effects other than those arising from calling its func...