3680 search results - page 53 / 736 » cases 2010 |
178
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
Due to the limited amounts of on-chip memory, large volumes of data, and performance and power consumption overhead associated with interprocessor communication, efficient managem...
181
click to vote
ASM
2010
ASM
15 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
157
click to vote
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
This paper focuses on online gift exchange in a setting where online and offline interactions are tightly intertwined and most of the exchanges require face-to-face interaction to...
136
Voted
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- Traditional distributed source coding rarely considers the possible link between separate encoders. However, the broadcast nature of wireless communication in sensor net...
196
click to vote
SOCA
2010
IEEE
15 years 3 months ago
2010
IEEE
Process-driven service-oriented architectures (SOA) need to cope with constant changing requirements of various compliance requirements, such as quality of service (QoS) constraint...