1356 search results - page 216 / 272 » The ideal of verified software |
ISCAS
2007
IEEE
15 years 6 months ago
2007
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
103
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with m...
CC
2007
Springer
15 years 6 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
112
click to vote
ESAS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
ICDE
2006
IEEE
15 years 6 months ago
2006
IEEE
The CVS (Concurrent Versions System) software is a popular method for recording modifications to data objects, in addition to concurrent access to data in a multi-user environmen...