5525 search results - page 128 / 1105 » Verification of Model Transformations |
130
Voted
FCSC
2008
15 years 3 months ago
2008
The population protocol model [2] has emerged as an elegant computation paradigm for describing mobile ad hoc networks, consisting of a number of mobile nodes that interact with e...
121
click to vote
ENTCS
2008
15 years 2 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
136
Voted
VLSID
2006
IEEE
15 years 9 months ago
2006
IEEE
This tutorial present the key aspects of design challenges and its solutions that are being experienced in VLSI design in the era of nano technology. The focus will be on design c...
92
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
Abstract. Discussions about model-driven approaches tend to be hampered by terminological confusion. This is at least partially caused by a lack of formal precision in defining the...
127
Voted
FSS
2006
15 years 3 months ago
2006
Fuzzy integrals are commonly used as aggregation operators. In this paper we present new composite models based on fuzzy integrals with several t-conorms. These models permit to f...