152 search results - page 4 / 31 » A Formal Analysis of Potential Energy in a Multi-agent Syste... |
SIGOPS
2010
13 years 15 days ago
2010
This paper highlights the growing importance of storage energy consumption in a typical data center, and asserts that storage energy research should drive towards a vision of ener...
IPSN
2005
Springer
13 years 11 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
SP
1998
IEEE
13 years 10 months ago
1998
IEEE
This paper presents results from analyzing the vulnerability of security-critical software applications to malicious threats and anomalous events using an automated fault injectio...
HASE
2008
IEEE
14 years 6 days ago
2008
IEEE
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
ATAL
2003
Springer
13 years 11 months ago
2003
Springer
The emerging science of simulation enables us to explore the dynamics of large and complex systems even if a formal representation and analysis of the system is intractable and a ...