621 search results - page 28 / 125 » Functional and structural properties in the Model-Driven Eng... |
ICSOC
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
ESSOS
2009
Springer
14 years 10 days ago
2009
Springer
Abstract. We present an approach to security requirements engineering, which makes use of special kinds of problem frames that serve to structure, characterize, analyze, and solve ...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
Shape analyses (Chase et al. 1990, Sagiv et al. 2002) discover properties of dynamic and/or mutable structures. We ask, "Is there an equivalent to shape analysis for purely fu...
DATE
2000
IEEE
14 years 26 days ago
2000
IEEE
In this paper a constructive library-aware multilevel logic synthesis approach using symmetries is described. It integrates the technology-independent and technologydependent stag...
GECCO
2008
Springer
13 years 9 months ago
2008
Springer
Modularity and symmetry are two properties observed in almost every engineering and biological structure. The origin of these properties in nature is still unknown. Yet, as engine...