9698 search results - page 1679 / 1940 » models 2010 |
189
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
195
click to vote
ICTAC
2010
Springer
15 years 5 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
180
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
152
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—Peer-to-peer computing, involving the participation of thousands of general purpose, public computers, has established itself as a viable paradigm for executing looselycoupled, ...
187
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—In this paper we describe extensions to the access control industry standards XACML and SAML to enable privacy-preserving and credential-based access control. Rather than assumi...