2008 |
23 | EE | Nima Sharifimehr,
Samira Sadaoui:
An Extended Concurrency Control Service for CORBA.
Australian Software Engineering Conference 2008: 330-337 |
22 | | Nima Sharifimehr,
Samira Sadaoui:
Dynamic Semi-Markovian Workload Modeling.
ICEIS (1) 2008: 125-130 |
21 | EE | Samira Sadaoui,
Malek Mouhoub,
Xiaofeng Li:
An OCL-Based CSP Specification and Solving Tool.
New Challenges in Applied Intelligence Technologies 2008: 235-244 |
2007 |
20 | EE | Samira Sadaoui,
Siritorn Srisodsai:
Multi-Language Information Searching Tool.
ICSEA 2007: 49 |
19 | | Nima Sharifimehr,
Samira Sadaoui:
A Predictive Automatic Tuning Service for Object Pooling Based on Dynamic Markov Modeling.
ICSOFT (ISDM/EHST/DC) 2007: 38-45 |
18 | EE | Malek Mouhoub,
Samira Sadaoui:
Solving Incremental Satisfiability.
International Journal on Artificial Intelligence Tools 16(1): 139-147 (2007) |
2006 |
17 | EE | Samira Sadaoui,
Nima Sharifimehr:
A Novel Object Pool Service for Distributed Systems.
OTM Conferences (2) 2006: 1757-1771 |
16 | | Samira Sadaoui,
Sudhanshu Singh:
Implementation of CafeOBJ Specifications to Java Code.
SEKE 2006: 446-449 |
15 | EE | Samira Sadaoui,
Pengzhou Yin:
Generalization and Instantiation for Component Reuse.
International Journal of Software Engineering and Knowledge Engineering 16(2): 175-200 (2006) |
2005 |
14 | EE | Malek Mouhoub,
Samira Sadaoui:
Improving Lotos Simulation Using Constraint Propagation.
ICTAI 2005: 137-142 |
13 | EE | Bo Chen,
Samira Sadaoui:
A Generic Formal Framework For Constructing Agent Interaction Protocols.
International Journal of Software Engineering and Knowledge Engineering 15(1): 61-85 (2005) |
2004 |
12 | EE | Samira Sadaoui,
Pengzhou Yin:
Generalization for component reuse.
ACM Southeast Regional Conference 2004: 134-139 |
11 | | Malek Mouhoub,
Mujtaba Istihad,
Samira Sadaoui:
Java with CREAM for Temporal Constraints.
IASSE 2004: 281-283 |
10 | EE | Malek Mouhoub,
Samira Sadaoui:
Systematic versus Non-systematic Methods for Solving Incremental Satisfiability.
IEA/AIE 2004: 543-551 |
9 | | Malek Mouhoub,
Samira Sadaoui,
Xinkai Feng:
A New Branch and Bound Method for Incremental Satisfiability Problem.
International Conference on Computational Intelligence 2004: 424-427 |
8 | | Bo Chen,
Samira Sadaoui:
Specification and Verification of Agent Interaction Protocols.
SEKE 2004: 300-305 |
7 | | Malek Mouhoub,
Samira Sadaoui,
Amrudee Sukpan:
Formal Description Techniques for CSPs and TCSPs.
SEKE 2004: 406-410 |
6 | | Samira Sadaoui:
Assistance in the Reuse of Formal Specifications.
I. J. Comput. Appl. 11(4): 234-245 (2004) |
2003 |
5 | | Samira Sadaoui:
Assistance in the Reuse of Formal Specifications.
IASSE 2003: 217-222 |
4 | | Malek Mouhoub,
Samira Sadaoui,
Amrudee Sukpan:
Chronological Backtracking Versus Formal Methods for Solving CSPs.
IC-AI 2003: 270-275 |
3 | | Samira Sadaoui,
Angela Mlynarski,
Elspeth Nickle:
Software Reuse: An Overview.
Software Engineering Research and Practice 2003: 840-846 |
2 | EE | Samira Sadaoui:
Composition of Structured Process Specifications.
Electr. Notes Theor. Comput. Sci. 82(5): (2003) |
1996 |
1 | | Pierre Marquis,
Samira Sadaoui:
A New Algorithm for Computing Theory Prime Implicates Compilations.
AAAI/IAAI, Vol. 1 1996: 504-509 |