Sciweavers

6031 search results - page 835 / 1207
» Communicating Transaction Processes
Sort
View
SCP
2010
123views more  SCP 2010»
15 years 1 months ago
Slicing for architectural analysis
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
Nuno F. Rodrigues, Luís Soares Barbosa
SYNTHESE
2010
133views more  SYNTHESE 2010»
15 years 1 months ago
Dynamic logics of knowledge and access
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
Tomohiro Hoshi, Eric Pacuit
TII
2010
139views Education» more  TII 2010»
15 years 1 months ago
The Impact of Temperature on Outdoor Industrial WSN Applications
The industrial world is currently considering the adoption of Wireless Sensor Networks (WSN) for industrial process and control applications. However, when using wireless sensor n...
Carlo Alberto Boano, James Brown, Nicolas Tsiftes,...
TSP
2010
15 years 1 months ago
Improved interference cancellation scheme for two-user detection of alamouti code
In this paper, we propose an improved interference cancellation method for two-user multiple access based MIMO communication system. It is shown in the paper, that by using the pr...
Manav R. Bhatnagar, Are Hjørungnes
TSP
2010
15 years 1 months ago
Distributed consensus with quantized data via sequence averaging
The problem of distributed average consensus with quantized data is considered in this correspondence. Conventional consensus algorithms suffer from divergence when quantization er...
Jun Fang, Hongbin Li