1356 search results - page 56 / 272 » A variable-free dynamic semantics |
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—The blogosphere can be construed as a knowledge network made of bloggers who are interacting through a social network to share, exchange or produce information. We claim that th...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
ESWS
2007
Springer
15 years 4 months ago
2007
Springer
Business processes are often statically implemented and may not be established ad-hoc. For the realization of dynamic process configurations that demand for changes in these imple...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper shows how XML can be used for static and dynamic analysis of architectures. Our analysis is based on the distinction between symbolic and semantic models of architectur...
FQAS
2004
Springer
15 years 3 months ago
2004
Springer
One of the key issues in product catalogs is how to efficiently integrate and query large, intricate, heterogeneous catalogs. We propose a framework for building a dynamic catalog...