Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
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...
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 ...
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
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....