Sciweavers

10 search results - page 1 / 2
» Towards an insider threat prediction specification language
Sort
View
IMCS
2006
56views more  IMCS 2006»
13 years 5 months ago
Towards an insider threat prediction specification language
G. Magklaras, Steven Furnell, Phillip J. Brooke
IJNSEC
2010
145views more  IJNSEC 2010»
13 years 10 days ago
Formal Specification of Common Criteria Based Access Control Policy Model
One of the major threats that an enterprise Information system networks are facing today is the Insider threat. As part of the Insider Threat study, lack of an effective access co...
Manpreet Singh, Manjeet S. Patterh
BMCBI
2008
116views more  BMCBI 2008»
13 years 5 months ago
IgTM: An algorithm to predict transmembrane domains and topology in proteins
Background: Due to their role of receptors or transporters, membrane proteins play a key role in many important biological functions. In our work we used Grammatical Inference (GI...
Piedachu Peris, Damián López, Marcel...
SAC
2008
ACM
13 years 5 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
CC
2004
Springer
13 years 11 months ago
Developing a Foundation for Code Optimization
Although optimization technology has been successful over the past 40 years, recent trends are emerging that demand we reconsider the paradigm that we are using for code optimizati...
Mary Lou Soffa