Items where Division is "Computer Science and Software Engineering" and Year is 2008

A

Abdelhay, Khaled (2008) 3D character animation using geometric constraints. Masters thesis, Concordia University.

Al Maghayreh, Eslam (2008) Avoiding state enumeration in dynamic checking of distributed programs. PhD thesis, Concordia University.

Arasteh, Ali Reza (2008) Forensic analysis of WIndows physical memory. Masters thesis, Concordia University.

Arnaoudova, Venera (2008) Defining substitutability criteria for object oriented components. Masters thesis, Concordia University.

C

Charbonneau, Louis (2008) Evolution of an artificial market and its use to predict future stock prices. Masters thesis, Concordia University.

Chen, Rui (2008) An enhanced Web robot for the CINDI system. Masters thesis, Concordia University.

Cheng, Yan (2008) A multi-panel QoS control communications framework in heterogeneous networks. PhD thesis, Concordia University.

D

Desai, Bipin C. ORCID: https://orcid.org/0000-0002-9142-7928 (2008) CINDI System. (Unpublished)

Desai, Bipin C. ORCID: https://orcid.org/0000-0002-9142-7928, Haddad, Sami M and Wang, Tao (2008) Extracting Semantics of Documents Using Semantic Header Generator. (Unpublished)

Ding, Wu (2008) Courtesy amount recognition using a feedback-based segmentation algorithm. Masters thesis, Concordia University.

Ding, Yu (2008) Tableau-based reasoning for description logics with inverse roles and number restrictions. PhD thesis, Concordia University.

Dogar, Asif (2008) Model driven development for enterprise applications. Masters thesis, Concordia University.

Donyaee, Mohammad K (2008) Investigating the correlation of usability measures and user tests : a roadmap for a predictive model. PhD thesis, Concordia University.

E

Eshkevari, Laleh Mousavi (2008) Comprehension and change impact analysis of aspect-oriented programs through declarative reasoning. Masters thesis, Concordia University.

F

Fadhil, Amineh (2008) Onto VQL : Ontology Visual Query Language. Masters thesis, Concordia University.

Farsiniamarj, Nasim (2008) Combining integer programming and tableau-based reasoning : a hybrid calculus for the description logic SHQ. Masters thesis, Concordia University.

G

Gao, Bo (2008) Implementation and validation of the general internet signaling transport protocol. Masters thesis, Concordia University.

Gasse, Francis (2008) Rewriting logical rules as SROIQ axioms : Theory and implementation. Masters thesis, Concordia University.

Ghanbari, Hamoun (2008) A hybrid query engine for the structural analysis of Java and AspectJ programs. Masters thesis, Concordia University.

H

Haddad, Chedid (2008) CINDI_QA : a template-based bilingual question answering system. Masters thesis, Concordia University.

Hassine, Jameleddine (2008) Formal semantics and verification of use case maps. PhD thesis, Concordia University.

Hodaei Esfahani, Keywan (2008) A collaborative framework for knowledge acquisition and management for bioinformatics applications. Masters thesis, Concordia University.

Hong, Yuan (2008) Preserving privacy in Web-based e-Health systems. Masters thesis, Concordia University.

I

Ibrahim, Naseem Ismail (2008) Transforming architectural descriptions of component-based systems for formal analysis. Masters thesis, Concordia University.

Islam, Salekul (2008) Participant access control in IP multicasting. PhD thesis, Concordia University.

J

Jafroodi, Nima (2008) A type system for the Erasmus language. Masters thesis, Concordia University.

K

Kamali, Shahin (2008) Broadcasting in weighted-vertex graphs. Masters thesis, Concordia University.

Katragadda, Rahul (2008) Efficient heuristic for multicasting in arbitrary networks. Masters thesis, Concordia University.

Kazmi, Raza Ali (2008) Isogenies and cryptography. Masters thesis, Concordia University.

Khor, Susan Lay Choo (2008) Problem structure and evolutionary algorithm difficulty. PhD thesis, Concordia University.

Kolahi, Siamak (2008) Composition and verification of formal behaviors. Masters thesis, Concordia University.

L

Lameed, Nurudeen (2008) Implementing concurrency in a process-based language. Masters thesis, Concordia University.

Leung, Brian (2008) Medical data visualization for use in clinical research and practice. Masters thesis, Concordia University.

Liu, Qian (2008) Securing telehealth applications in a Web-based e-health portal. Masters thesis, Concordia University.

Liu, Yan (2008) Design and implementation of a Pomset automaton based runtime verifier for distributed Jade programs. Masters thesis, Concordia University.

Lu, Shuo (2008) Architecture design and access control of e-health portals. Masters thesis, Concordia University.

Lu, Yang (2008) Efficient simulation of lens distortion in OpenGL. Masters thesis, Concordia University.

Luo, Pan (2008) Optimal provisioning and deployment cost evaluation of array waveguide grating WDM passive optical networks. Masters thesis, Concordia University.

M

Mihandoust, Shahab (2008) Multiple sink positioning in sensor networks. Masters thesis, Concordia University.

Mohaisen, Shyma (2008) A content delivery system for computer aided language instruction. Masters thesis, Concordia University.

Mohajerin, Nima (2008) A top-down approach to answering queries using views. Masters thesis, Concordia University.

Mokhov, Serguei A. (2008) Towards Security Hardening of Scientific Demand-Driven and Pipelined Distributed Computing Systems. In: International Symposium on Parallel and Distributed Computing (ISPDC), July 1-5, 2008, Krakow, Poland.

Mokhov, Serguei A., Laverdière, Marc-André and Benredjem, Djamel (2008) Taxonomy of Linux Kernel Vulnerability Solutions. In: International Joint Conferences on Computer, Information, and Systems Sciences, and Engineering (CISSE 2007), December 2007.

Mokhov, Serguei A. and Paquet, Joey (2008) Formally Specifying and Proving Operational Aspects of Forensic Lucid in Isabelle. In: 21st International Conference on Theorem Proving in Higher Order Logics (TPHOLs) 2008, Emerging Trends Proceedings, August 2008, Montreal, QC, Canada.

Moradian, Talin (2008) Near optimal shared-tree based multicasting in mesh networks. Masters thesis, Concordia University.

N

Nguyen, Que Thu Dung (2008) Design and implementation of a distributed middleware for parallel execution of legacy enterprise applications. Masters thesis, Concordia University.

P

Pai, Hsueh-ieng (2008) Uncertainty management for description logic-based ontologies. PhD thesis, Concordia University.

Patel, Chiragkumar (2008) Software clustering using dynamic analysis and static dependencies. Masters thesis, Concordia University.

Pourteymour, Amir Hossein (2008) Implementation and comprehensive study of demand migration systems in Gipsy. Masters thesis, Concordia University.

Q

Qiong, Huang (2008) Extending magic sets techniques to deductive databases with uncertainty. Masters thesis, Concordia University.

R

Rahman, Md Mahmudur (2008) Semantical representation and retrieval of natural photographs and medical images using concept and context-based feature spaces. PhD thesis, Concordia University.

Razmara, Majid (2008) Answering List and Other questions. Masters thesis, Concordia University.

Rohatgi, Abhishek (2008) An approach towards feature location based on impact analysis. Masters thesis, Concordia University.

Rokita, Joanna (2008) Multimodal biometric system based on face and hand images taken by a cell phone. Masters thesis, Concordia University.

S

Safari Sharifabadi, Elaheh (2008) Dynamic analysis of ada programs for comprehension and quality measurement. Masters thesis, Concordia University.

Sedaghat, Nasim (2008) Hair modeling and rendering using Ray-tracing on GPU. Masters thesis, Concordia University.

Seresht, Shadi Moradi (2008) A methodology for semi-automatic assistance in elicitation and analysis of textual user requirements. Masters thesis, Concordia University.

Shahriar, Md. Istiaque (2008) An anytime deduction heuristic for first order probabilistic logic. Masters thesis, Concordia University.

Shaikh, Ali Asghar (2008) Efficient provisioning of passive optical networks. Masters thesis, Concordia University.

Shiri, Maryam (2008) Supporting UCM requirements evolution by means of formal concept analysis. Masters thesis, Concordia University.

Sinnig, Daniel (2008) Use case and task models : formal unification and integrated development methodology. PhD thesis, Concordia University.

T

Tong, Xin (2008) Design and implementation of context calculus in the gipsy. Masters thesis, Concordia University.

V

Vashisth, Akanksh (2008) Interactive shape editing techniques for 3D point models using an electronic glove. Masters thesis, Concordia University.

Vassev, Emil Iordanov (2008) Towards a framework for specification and code generation of autonomic systems. PhD thesis, Concordia University.

W

Wang, Hui (2008) Distributed augmented reality for visualizing collaborative construction tasks. Masters thesis, Concordia University.

Wang, Ran (2008) Multiple 3D scan data registration. Masters thesis, Concordia University.

Wang, Tianyu (2008) Session Management in Multicast. PhD thesis, Concordia University.

Wu, Jiewen (2008) Plan-based axiom absorption for tableau-based description logics reasoning. Masters thesis, Concordia University.

Y

Yao, Sibo (2008) Dynamic Terrain. Masters thesis, Concordia University.

Yao, Yuan (2008) What could be happening in the frog's eye. Masters thesis, Concordia University.

Z

Zhang, Yongning (2008) On improving the performance of multihop wireless networks : concepts and methodologies. Masters thesis, Concordia University.

Zheng, Xi (2008) Algorithms for multi-level frequent pattern minning. Masters thesis, Concordia University.

Zhu, Hong Fei (2008) Regression test selection for distributed Java RMI programs by means of formal concept analysis. Masters thesis, Concordia University.