146 search results - page 17 / 30 » Challenges in Making Pervasive Systems Dependable |
CACM
2010
14 years 7 months ago
2010
Certified software consists of a machine-executable program plus a formal machine-checkable proof that the software is free of bugs with respect to a claim of dependability. The c...
104
click to vote
TPDS
2010
14 years 8 months ago
2010
—One of the major applications of wireless ad hoc networks is to extend the Internet coverage and support pervasive and efficient data dissemination and sharing. To reduce data a...
88
Voted
ERSHOV
2006
Springer
15 years 1 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...
CMG
2004
14 years 11 months ago
2004
Grid computing promises to become the future computing paradigm for enterprise application after having shown to be a quite effective computing paradigm for resource-intensive sci...
BIS
2009
14 years 10 months ago
2009
The EU Services Directive aims at easing the burdens for the EU's citizens to open up new businesses by providing a single-point-of-contact for the complete business lifecycle...