23098 search results - page 101 / 4620 » Component Based Development |
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...
122
click to vote
MSO
2003
15 years 3 months ago
2003
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
121
click to vote
HIPC
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we describe the design and implementation of a C++ based Common Component Architecture (CCA) framework, XCAT-C++. It can efficiently marshal and unmarshal large data...
124
click to vote
LFCS
2009
Springer
15 years 8 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
134
click to vote
SOCO
2005
Springer
15 years 7 months ago
2005
Springer
Due to the large success of wireless networks and portable devices, the pervasive computing paradigm is becoming a reality. One of the most challenging objectives to be achieved in...