15635 search results - page 364 / 3127 » Modelling and Design of VAML |
150
click to vote
IPPS
2007
IEEE
16 years 29 days ago
2007
IEEE
Dependability evaluation is an important, often indispensable, step in (critical) systems design and analysis pro
146
click to vote
COMPUTER
2002
15 years 6 months ago
2002
abstract service descriptions to specific physical addresses such as HTTP or SMTP statically at design time or dynamically at runtime.
134
click to vote
AEI
1999
15 years 6 months ago
1999
The implantation of programs which gives a robot the ability to perform a non-repetitive task (task not completely de
144
click to vote
ISCIS
2004
Springer
16 years 21 hour ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
202
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper, both a UML model of requirement and a UML model of a design are defined as a pair of class diagram and a family of sequence diagrams. We then give an unified semant...