1323 search results - page 56 / 265 » Extended Modeling Languages for Interaction Protocol Design |
148
Voted
SEMCO
2009
IEEE
15 years 10 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...
135
click to vote
EWSPT
1995
Springer
15 years 7 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
138
Voted
WSC
2004
15 years 4 months ago
2004
In order to support the conceptualization and specification of simulation models of complex systems, several formalisms or world views exist. Petri nets, differential equations, d...
149
Voted
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. When designing password-authenticated key exchange protocols (as opposed to key exchange protocols authenticated using cryptographically secure keys), one must not allow ...
116
Voted
WSCG
2001
15 years 4 months ago
2001
With the advent of software agents and assistants, the concept of so called conversational user interfaces evolved, incorporating natural language interaction, dialogue management...