Sciweavers

6836 search results - page 178 / 1368
» Modelling Web-Oriented Architectures
Sort
View
MIDDLEWARE
2000
Springer
15 years 7 months ago
The Design and Performance of a Scalable ORB Architecture for CORBA Asynchronous Messaging
Historically, method-oriented middleware, such as Sun RPC, DCE, Java RMI, COM, and CORBA, has provided synchronous method invocation (SMI) models to applications. Although SMI work...
Alexander B. Arulanthu, Carlos O'Ryan, Douglas C. ...
DAC
1999
ACM
16 years 4 months ago
Symbolic Model Checking Using SAT Procedures instead of BDDs
Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...
DAC
1999
ACM
16 years 4 months ago
Robust Rational Function Approximation Algorithm for Model Generation
Carlos P. Coelho, Joel R. Phillips, Luis Miguel Si...
VLSID
2004
IEEE
75views VLSI» more  VLSID 2004»
16 years 4 months ago
Quantitative Model for Thermal Behaviour of an Analog Integrated Circuit
Gagandeep S. Sandha, Pawan K. Singh, C. Pradeep Ku...