Sciweavers

906 search results - page 57 / 182
» Modeling methodology for application development in petroleu...
Sort
View
IJDE
2002
159views more  IJDE 2002»
15 years 1 months ago
An Examination of Digital Forensic Models
Law enforcement is in a perpetual race with criminals in the application of digital technologies, and requires the development of tools to systematically search digital devices fo...
Mark Reith, Clint Carr, Gregg H. Gunsch
MMM
2006
Springer
103views Multimedia» more  MMM 2006»
15 years 8 months ago
Multimedia and metadata watermarking driven by application constraints
Providing a fully functional multimedia DBMS (MMDBMS) becomes an emergency with the recent development of distributed environments. In this paper, we address the impact of using w...
Richard Chbeir, David Gross-Amblard
FM
2005
Springer
125views Formal Methods» more  FM 2005»
15 years 7 months ago
End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
Mikael Buchholtz, Stephen Gilmore, Valentin Haenel...
ICWS
2010
IEEE
15 years 3 months ago
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, El...
INFSOF
2006
66views more  INFSOF 2006»
15 years 1 months ago
Scenario-based multitasking for real-time object-oriented models
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
Saehwa Kim, Jiyong Park, Seongsoo Hong