3199 search results - page 524 / 640 » Variability in Automation System Models |
131
Voted
BMCBI
2011
14 years 9 months ago
2011
Background: Microarray technology allows the analysis of genomic aberrations at an ever increasing resolution, making functional interpretation of these vast amounts of data the m...
129
Voted
ASM
2008
ASM
15 years 4 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
140
Voted
CSL
2006
Springer
15 years 2 months ago
2006
Springer
Support vector machines (SVMs) have proven to be a powerful technique for pattern classification. SVMs map inputs into a high dimensional space and then separate classes with a hy...
108
click to vote
NOMS
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
137
click to vote
CADE
2007
Springer
16 years 2 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...