228 search results - page 26 / 46 » A Model-Checking Approach for Service Component Architecture... |
122
click to vote
MATA
2004
Springer
15 years 5 months ago
2004
Springer
Applications for mobile devices have some restrictions because of the limited capabilities and heterogeneity of these devices. However, their communication capabilities allow the d...
I3E
2003
15 years 1 months ago
2003
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
120
Voted
SDL
2007
15 years 1 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
108
click to vote
GCC
2005
Springer
15 years 5 months ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
107
click to vote
LWA
2004
15 years 1 months ago
2004
The Personal Reader1 provides a framework for designing, implementing and maintaining web content readers, which provide personalized enrichment of web content for each individual...