2181 search results - page 216 / 437 » Standard Software as Microworld |
100
Voted
CBMS
2009
IEEE
15 years 7 months ago
2009
IEEE
Given the heterogeneity of healthcare software systems, data from each system is often incompatible inhibiting interoperability. To enable the sharing and exchange of healthcare i...
FOSSACS
2009
Springer
15 years 7 months ago
2009
Springer
Standard analysis on recursive data structures restrict their attention to shape properties (for instance, a program that manipulates a list returns a list), excluding properties t...
115
click to vote
CSFW
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
82
Voted
DRM
2009
Springer
15 years 7 months ago
2009
Springer
Digital Rights Management (DRM) is used to protect copyrighted content from unauthorized use. However, this has taken away the jurisdiction of the consumers over their purchased c...