130 search results - page 3 / 26 » Formal prototyping in early stages of protocol design |
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
ACSW
2006
13 years 6 months ago
2006
Formal specification and verification of protocols have been credited for uncovering protocol flaws; revealing inadequacies in protocol design of the Initial Stage and Negotiation...
PUC
2002
13 years 5 months ago
2002
: Scenarios in HCI are widely used and discussed as written or visual narratives. In this paper, we discuss fruitful conditions for the creation and performance of scenarios partic...
IPPS
2000
IEEE
13 years 9 months ago
2000
IEEE
Conventional concurrency control protocols are inapplicable in mobile computing environments due to a number of constraints of wireless communications. In this paper, we design a p...
DSVIS
1998
Springer
13 years 9 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...