1003 search results - page 72 / 201 » A Framework for Developing Feature-Rich Software Systems |
95
Voted
TII
2010
14 years 4 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...
SELMAS
2004
Springer
15 years 3 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
CSSE
2002
IEEE
14 years 10 months ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
80
Voted
ECBS
2007
IEEE
15 years 4 months ago
2007
IEEE
The ever growing size and complexity of both technical and business systems requires efficient software engineering approaches to keep development cost under control while still ...
JBCS
2002
14 years 9 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...