3792 search results - page 424 / 759 » Techniques for Trusted Software Engineering |
197
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software security assurance and malware (trojans, worms, and viruses, etc.) detection are important topics of information security. Software obfuscation, a general technique that ...
191
click to vote
ISORC
2005
IEEE
16 years 12 days ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
158
click to vote
EMISA
2009
Springer
16 years 1 months ago
2009
Springer
: This keynote reports on a new class of processes - so called fluid processes - whose ”engineering” and ”use” is indistinguishable. Fluid processes are continually being ...
229
click to vote
ACMSE
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a research effort to improve the use of the cosine similarity information retrieval technique to detect unknown, known or variances of known rogue software by...
193
click to vote
EMSOFT
2009
Springer
16 years 1 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...