399 search results - page 42 / 80 » Verification of System Level Model Transformations |
140
click to vote
JUCS
2010
14 years 9 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
101
click to vote
COMPSEC
2010
14 years 11 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
128
Voted
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol that connects autonomous systems (ASes). Despite its importance for the Internet infrastructure, BGP...
174
Voted
ECMDAFA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Design patterns are templates of general solutions to commonlyoccurring problems in the analysis and design of software systems. In mature development processes, engineer...
124
Voted
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
In this paper, a novel design space exploration approach is proposed that enables a concurrent optimization of the topology, the process binding, and the communication routing of ...