BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Spain
1 × Taiwan
1 × USA
Collaborated with:
W.Jiang N.Sharifimehr S.Singh B.Chen M.Mouhoub A.Sukpan
Talks about:
specif (2) markovian (1) implement (1) workload (1) techniqu (1) protocol (1) interest (1) interact (1) descript (1) system (1)

Person: Samira Sadaoui

DBLP DBLP: Sadaoui:Samira

Contributed to:

SAC 20112011
ICEIS DISI 20082008
SEKE 20062006
SEKE 20042004

Wrote 5 papers:

SAC-2011-SadaouiJ #evaluation
An offer evaluation system based on buyers’ interests (SS, WJ), pp. 1713–1714.
ICEIS-DISI-2008-SharifimehrS #modelling
Dynamic Semi-Markovian Workload Modeling (NS, SS), pp. 125–130.
SEKE-2006-SadaouiS #implementation #java #specification
Implementation of CafeOBJ Specifications to Java Code (SS, SS), pp. 446–449.
SEKE-2004-ChenS #interactive #protocol #specification #verification
Specification and Verification of Agent Interaction Protocols (BC, SS), pp. 300–305.
Formal Description Techniques for CSPs and TCSPs (MM, SS, AS), pp. 406–410.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.