7225 search results - page 322 / 1445 » Software is data too |
220
click to vote
TC
2011
15 years 1 months ago
2011
— Processing the gathered information efficiently is a key functionality for wireless sensor networks. In this article, we study the time complexity, message complexity (number ...
187
click to vote
EUROSYS
2010
ACM
16 years 3 months ago
2010
ACM
Data centers avoid IP Multicast because of a series of problems with the technology. We propose Dr. Multicast (MCMD), a system that maps IPMC operations to a combination of point-...
178
click to vote
ASWEC
2005
IEEE
16 years 12 days ago
2005
IEEE
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
175
click to vote
COMPSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
Extracting data from Web pages using wrappers is a fundamental problem arising in a large variety of applications of vast practical interest. In this paper, we propose a novel sch...
174
click to vote
FSTTCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...