Sciweavers

16606 search results - page 384 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ACSAC
2005
IEEE
15 years 12 months ago
Looking Back at the Bell-La Padula Model
The Bell-La Padula security model produced conceptual tools for the analysis and design of secure computer systems. Together with its sibling engineering initiatives, it identifi...
David Elliott Bell
KBSE
2005
IEEE
15 years 12 months ago
A context-sensitive structural heuristic for guided search model checking
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
Neha Rungta, Eric G. Mercer
145
Voted
ISMB
2000
15 years 7 months ago
Genomic Fold Assignment and Rational Modeling of Proteins of Biological Interest
The first available genome of a multicellular organism, C. elegans, was used as a test case for protein fold assignment using PSI-BLAST, followed by rational structure modeling an...
J. Michael Sauder, Roland L. Dunbrack Jr.
EJIS
2008
81views more  EJIS 2008»
15 years 6 months ago
Explaining information systems change: a punctuated socio-technical change model
We outline a Punctuated Socio-Technical Information System Change model. The model recognizes both incremental and punctuated socio-technical change in the context of information ...
Kalle Lyytinen, Mike Newman
ECAI
2006
Springer
15 years 10 months ago
Polynomial Conditional Random Fields for Signal Processing
We describe Polynomial Conditional Random Fields for signal processing tasks. It is a hybrid model that combines the ability of Polynomial Hidden Markov models for modeling complex...
Trinh Minh Tri Do, Thierry Artières