2035 search results - page 162 / 407 » Communicating Scala Objects |
FORTE
2004
13 years 10 months ago
2004
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
ENTCS
2008
13 years 9 months ago
2008
As code generation for synchronous programs requires strong safety properties to be satisfied, compositionality becomes a difficult goal to achieve. Most synchronous languages, su...
INFOCOM
2010
IEEE
13 years 7 months ago
2010
IEEE
— Self-monitoring the sensor statuses such as liveness, node density and residue energy is critical for maintaining the normal operation of the sensor network. When building the ...
SECON
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract--This paper investigates the potential of the compressed sensing (CS) paradigm for video streaming in Wireless Multimedia Sensor Networks. The objective is to co-design a ...
ICC
2009
IEEE
13 years 7 months ago
2009
IEEE
Typically, topology control is perceived as a per-node transmit power control process that achieves certain networklevel objectives. We take an alternative approach of controlling ...