Sciweavers

893 search results - page 112 / 179
» Modeling reactive systems in Java
Sort
View
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 9 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
GRID
2000
Springer
15 years 8 months ago
Web Enabled Client-Server Model for Development Environment of Distributed Image Processing
Image processing applications (IPA) requirements can be best met by using the distributed environment. The authors had developed an environment over a network of VAX/VMS and Unix f...
Haresh S. Bhatt, V. H. Patel, Akshai K. Aggarwal
PST
2008
15 years 5 months ago
Model-Checking for Software Vulnerabilities Detection with Multi-Language Support
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
Rachid Hadjidj, Xiaochun Yang, Syrine Tlili, Moura...
ER
1999
Springer
155views Database» more  ER 1999»
15 years 8 months ago
XML-based Components for Federating Multiple Heterogeneous Data Sources
Several federated database systems have been built in the past using the relational or the object model as federating model. This paper gives an overview of the XMLMedia system, a ...
Georges Gardarin, Fei Sha, Tuyet-Tram Dang-Ngoc
ICSE
2010
IEEE-ACM
15 years 2 months ago
Integrating legacy systems with MDE
Integrating several legacy software systems together is commonly performed with multiple applications of the Adapter Design Pattern in oo languages such as Java. The integration i...
Mickael Clavreul, Olivier Barais, Jean-Marc J&eacu...