3142 search results - page 10 / 629 » A formal approach for designing CORBA based applications |
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an effective approach to formally verify SystemC designs. The approach translates SystemC models into a Petri-Net based representation. The Petri-net model is ...
COOPIS
2000
IEEE
13 years 12 months ago
2000
IEEE
Given the undeniable popularity of the Web, providing efficient and secure access to remote databases using a Web browser is crucial for the emerging cooperative information system...
TOOLS
2000
IEEE
13 years 12 months ago
2000
IEEE
The standard CORBA operation invocation model supports synchronous, one-way, and deferred synchronous interactions between clients and servers. However, this model is too restrict...
WEBNET
2000
13 years 8 months ago
2000
Dinopolis is at the moment the most universal and extendable application framework available. It is fully written in Java and fully compliant to today's application standards...