6061 search results - page 1071 / 1213 » Dynamic group communication |
183
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...
169
click to vote
FDL
2004
IEEE
15 years 10 months ago
2004
IEEE
Reconfigurability is becoming an important part of System-on-Chip (SoC) design to cope with the increasing demands for simultaneous flexibility and computational power. Current ha...
178
click to vote
CAMAD
2006
IEEE
15 years 10 months ago
2006
IEEE
Switched Processing Systems (SPS) capture the essence of a fundamental resource allocation problem in many modern communication, computer and manufacturing systems involving hetero...
164
click to vote
DMSN
2006
ACM
15 years 10 months ago
2006
ACM
Sensor networks are often used to perform monitoring tasks, such as in animal or vehicle tracking and in surveillance of enemy forces in military applications. In this paper we in...
164
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
Due to the information growth, distributed environments are offered as a feasible and scalable solution where Peerto-Peer networks have become more relevant. They bring many advan...