1477 search results - page 150 / 296 » Scalable Management |
137
click to vote
APPINF
2003
15 years 5 months ago
2003
Evolution of existing large telecommunications software currently became an important issue. Efficient methods are needed to componentize existing software identify existing compo...
167
click to vote
FMICS
2010
Springer
15 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
145
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Today data sources are pervasive and their number is growing tremendously. Current tools are not prepared to exploit this unprecedented amount of information and to cop...
141
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
Proposals for multicast security that have been published so far are complex, often require trust in network components or are inefficient. In this paper we propose a series of no...
137
click to vote
IADIS
2003
15 years 5 months ago
2003
Power transformers' failures carry great costs to electric companies since they need resources to recover from them and to perform periodical maintenance. To avoid this probl...