1060 search results - page 171 / 212 » Mechanized semantics |
MIDDLEWARE
2004
Springer
15 years 3 months ago
2004
Springer
The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
100
click to vote
ECRTS
2003
IEEE
15 years 3 months ago
2003
IEEE
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...
102
click to vote
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
— The core-stateless service architecture alleviates the scalability problems of the integrated service framework while maintaining its guaranteed service semantics. The admissio...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
Service-based distributed computing as a mode of resource sharing is receiving increased attention, motivated both by enterprise applications and by standardization efforts in the...