Searching for authors named "Kamel Barkaoui" – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Structural Analysis of Workflow Nets with Shared Resources
- … with Shared Resources Kamel Barkaoui 1 and Laure Petrucci 2 1 CEDRIC-CNAM 292 rue St-Martin F-75141 PARIS…
- Cited by 5 (0 self) – Add To MetaCart
-
Verification in concurrent programming with Petri nets structural techniques
- …Verification in Concurrent Programming with Petri nets Structural Techniques Kamel Barkaoui…
- Cited by 2 (0 self) – Add To MetaCart
-
On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual.Net Environment
- … with Aspectual .Net Environment Nasreddine Aoumeur Kamel Barkaoui 1 Gunter Saake Claus Rautenstrauch ITI, FIN…
- Add To MetaCart
-
A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive Applications
- … Nasreddine Aoumeur Kamel Barkaoui 1 Gunter Saake ITI, FIN, Otto-von-Guericke-Universität Magdeburg Postfach…
- Add To MetaCart
-
Validating and Dynamically Adapting and Composing Features in Concurrent Product-Lines Applications
- …-Lines Applications Nasreddine Aoumeur Kamel Barkaoui 1 Gunter Saake ITI, FIN, Otto-von-Guericke-Universität Magdeburg…
- Add To MetaCart
-
Workflow Soundness Verification based on Structure Theory of Petri Nets
- … Workflow Soundness Verification based on Structure Theory of Petri Nets Kamel Barkaoui, Rahma Ben Ayed…
- Add To MetaCart
Showing 1 through 6.
