2213 search results - page 382 / 443 » Software Security |
122
Voted
IADIS
2003
15 years 4 months ago
2003
The vast majority of IT systems are implemented using a traditional procedural paradigm approach using a suitable procedural language such as COBOL. However, with recent developme...
152
Voted
COMPSAC
2010
IEEE
15 years 20 days ago
2010
IEEE
The advent of emerging technologies such as Web services, service-oriented architecture, and cloud computing has enabled us to perform business services more efficiently and effect...
134
Voted
SAC
2010
ACM
15 years 16 days ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
126
Voted
VSTTE
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
146
Voted
PAMI
2012
13 years 5 months ago
2012
—The widespread deployment of Automated Fingerprint Identification Systems (AFIS) in law enforcement and border control applications has heightened the need for ensuring that the...