Cs-Se
Delving into Transition to the Semantic Web
A Call-Graph Profiler for GNU Octave
Handling Data-Based Concurrency in Context-Aware Service Protocols
Multicore Applications in Real Time Systems
An Introduction to Software Engineering and Fault Tolerance
Empirical study of software quality evolution in open source projects using agile practices
Workflow Patterns in Process Modeling
Performance and Stability of the Chelonia Storage Cloud
Implementing Distributed Controllers for Systems with Priorities
From error detection to behaviour observation: first results from screen capture analysis
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Inferring Loop Invariants using Postconditions
Web of Lossy Adapters for Interface Interoperability: An Algorithm and NP-completeness of Minimization
SOAP Serialization Performance Enhancement, Design And Implementation Of A Middleware
Non Homogeneous Poisson Process Model based Optimal Modular Software Testing using Fault Tolerance
On How Developers Test Open Source Software Systems
Adaptation of Black-Box Software Components
Ingenierie syst`eme dun syst`eme dinformation dentreprise centre sur le produit basee sur un cadre de modelisation multi-echelles : application `a un cas detude de lAIP lorrain
Steps towards a theory and calculus of aliasing
Can Component/Service-Based Systems Be Proved Correct?
Software Security Rules, SDLC Perspective
Derivation of UML Based Performance Models for Design Assessment in a Reuse Based Software Development Approach