111 search results - page 5 / 23 » Run-Time Verification of Networked Software |
72
Voted
PERCOM
2007
ACM
15 years 9 months ago
2007
ACM
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
ICSE
2009
IEEE-ACM
14 years 7 months ago
2009
IEEE-ACM
Verifying security properties of protocols requires developers to manually create protocol-specific intruder models, which could be tedious and error prone. We present Slede, a ve...
96
Voted
AUTONOMICS
2008
ACM
14 years 11 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...
SEUS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract. Ubiquitous embedded computing systems expected to reliably perform one or more relevant tasks need design and verification methods currently not available. New envisioned...
70
Voted
TKDE
2008
14 years 9 months ago
2008
Checking data possession in networked information systems such as those related to critical infrastructures (power facilities, airports, data vaults, defense systems, and so forth)...