900 search results - page 67 / 180 » A Tool-Supported Approach to Testing UML Design Models |
114
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these pro...
123
click to vote
VLSID
2005
IEEE
15 years 9 months ago
2005
IEEE
Microfluidics-based biochips offer a promising platform for massively parallel DNA analysis, automated drug discovery, and real-time biomolecular recognition. The first part of th...
142
click to vote
IJNSEC
2008
15 years 4 months ago
2008
In this paper, we first present a concrete formal protocol design approach, which is based on authentication tests, to create an Efficient and Secure Internet Key Exchange (ESIKE)...
141
click to vote
WCE
2007
15 years 5 months ago
2007
— In this paper a new approach to optimize nuclear power plant designs based on global risk reduction are described. In design the focus is on as components quality as redundancy...
143
Voted
FMAM
2010
15 years 1 months ago
2010
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...