2373 search results - page 382 / 475 » The Design of the Zinc Modelling Language |
173
click to vote
ICALP
2007
Springer
16 years 15 days ago
2007
Springer
Motivated by the challenging task of designing “secure” vote storage mechanisms, we study information storage mechanisms that operate in extremely hostile environments. In suc...
150
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
148
click to vote
WSE
2005
IEEE
15 years 12 months ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
148
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
161
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
In the reuse domain, the necessity of finding a new, more suitable description language opposes the need to make reuse an accepted practice, and thus related to standards. This pa...