5525 search results - page 101 / 1105 » Verification of Model Transformations |
163
click to vote
ECTEL
2007
Springer
15 years 10 months ago
2007
Springer
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
154
Voted
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
187
click to vote
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
IEEE 802.1x and authentication server based security protocols are mainly used for enhancing security of wireless networks. In this paper, we specify PAP and EAP-MD5 based securit...
185
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...