Sciweavers

1321 search results - page 80 / 265
» RIGR - A Repository Model Based Approach to Management
Sort
View
ICEIS
2006
IEEE
15 years 10 months ago
Product Oriented Modelling and Interoperability Issues
The consideration of Product information or Knowledge management, product traceability or genealogy, and product life cycle management implies new strategies and approaches to mana...
Salah Baïna, Hervé Panetto, Khalid Ben...
144
Voted
APN
2008
Springer
15 years 6 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud
131
Voted
EMISA
2009
Springer
15 years 10 months ago
A Survival Analysis of Application Life Spans based on Enterprise Architecture Models
Abstract: Modern enterprises face the challenge to survive in an ever changing environment. One commonly accepted means to address this challenge and further enhance survivability ...
Stephan Aier, Sabine Buckl, Ulrik Franke, Bettina ...
JOT
2010
117views more  JOT 2010»
15 years 2 months ago
Formal Model and DSL for Separation of Concerns based on Views
The separation of concerns (SOC), as a conceptual tool, enables us to manage the complexity of software systems that we develop. The benefits of this paradigm, such as reuse, enhan...
Mehdi Adda, Hamid Mcheick, Hafedh Mili
158
Voted
IJNSEC
2008
152views more  IJNSEC 2008»
15 years 4 months ago
Group Key Management in MANETs
Specific applications like military or public emergency ones require secure group communication in ad hoc environments. The most suitable solution to provide the expected level of...
Mohamed Salah Bouassida, Isabelle Chrisment, Olivi...