245 search results - page 17 / 49 » Formal Methods in Industrial Software Standards Enforcement |
SEDE
2010
13 years 5 months ago
2010
Security certification assesses the security posture of a software system to verify its compliance with diverse, pre-specified security controls identified by guidelines from NIST...
ASPLOS
2009
ACM
14 years 8 months ago
2009
ACM
Although chip-multiprocessors have become the industry standard, developing parallel applications that target them remains a daunting task. Non-determinism, inherent in threaded a...
CBSQ
2003
Springer
14 years 22 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
COSIT
2009
Springer
14 years 2 months ago
2009
Springer
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
ACE
2004
13 years 9 months ago
2004
Final year students in the Bachelor of Computing complete an industry project where they work in teams to build an IT system for an external client. Grading projects in these circ...