Sciweavers

18924 search results - page 50 / 3785
» Conformance of Distributed Systems
Sort
View
CCE
2011
14 years 6 months ago
Computational energy-based redesign of robust proteins
The robustness of a system is a property that pervades all aspects of Nature. The ability of a system to adapt itself to perturbations due to internal and external agents, to agin...
Giovanni Stracquadanio, Giuseppe Nicosia
ASPLOS
2011
ACM
14 years 3 months ago
Blink: managing server clusters on intermittent power
Reducing the energy footprint of data centers continues to receive significant attention due to both its financial and environmental impact. There are numerous methods that limi...
Navin Sharma, Sean Barker, David Irwin, Prashant J...
FMCO
2003
Springer
121views Formal Methods» more  FMCO 2003»
15 years 5 months ago
TulaFale: A Security Tool for Web Services
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...
Karthikeyan Bhargavan, Cédric Fournet, Andr...
RE
2006
Springer
14 years 11 months ago
Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations
In the United States, federal and state regulations prescribe stakeholder rights and obligations that must be satisfied by the requirements for software systems. These regulations ...
Travis D. Breaux, Matthew W. Vail, Annie I. Ant&oa...
CDC
2009
IEEE
135views Control Systems» more  CDC 2009»
15 years 4 months ago
Stiffness matrix and quantitative measure of formation rigidity
— Rigidity of formation is an importance concept in multi-agent localization and control problems. There are welldeveloped existing methods to test the rigidity of a given graph....
Guangwei Zhu, Jianghai Hu