2015 search results - page 256 / 403 » Hidden Software Capabilities |
SC
2009
ACM
14 years 4 months ago
2009
ACM
Science requires collaboration. In this paper, we investigate the feasibility of coupling current social networking techniques to science gateways to provide a scientific collabor...
CCS
2009
ACM
14 years 4 months ago
2009
ACM
Mandated requirements to share information across different sensitivity domains necessitate the design of distributed architectures to enforce information flow policies while pr...
FASE
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...
CODES
2009
IEEE
14 years 4 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
CODES
2009
IEEE
14 years 4 months ago
2009
IEEE
This paper presents a system-level design methodology for networked embedded systems that exploits existing data-redundancy to increase their reliability. The presented approach n...