1830 search results - page 80 / 366 » Centering in Dynamic Semantics |
EMSOFT
2006
Springer
15 years 2 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...
121
click to vote
LICS
2012
IEEE
13 years 1 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
ESWS
2007
Springer
15 years 5 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 4 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 4 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...