Sciweavers

5352 search results - page 190 / 1071
» Modeling the socio-cultural context
Sort
View
KBSE
2005
IEEE
16 years 6 days 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
ISMB
2000
15 years 8 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
ICALT
2006
IEEE
16 years 20 days ago
Model-Driven Instructional Engineering to Generate Adaptable Learning Materials
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
Juan Manuel Dodero, David Díez
WINE
2005
Springer
131views Economy» more  WINE 2005»
16 years 2 days ago
Experiments with an Economic Model of the Worldwide Web
We present a simple model in which the worldwide web (www) is created by the interaction of selfish agents, namely document authors, users, and search engines. We show experimental...
Georgios Kouroupas, Elias Koutsoupias, Christos H....