4460 search results - page 259 / 892 » Formal methods for interactive systems |
140
click to vote
EHCI
2004
15 years 7 months ago
2004
Many of the difficulties users experience when working with interactive systems arise from misfits between the user's conceptualisation of the domain and device with which the...
157
click to vote
RML
2002
15 years 5 months ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
196
click to vote
ICVS
1999
Springer
15 years 10 months ago
1999
Springer
We propose Action-Reaction Learning as an approach for analyzing and synthesizing human behaviour. This paradigm uncovers causal mappings between past and future events or between...
193
click to vote
ACSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Understanding the security goals provided by cryptographic protocol implementations is known to be difficult, since security requirements such as secrecy, integrity and authentici...
181
click to vote
AGENTCL
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper proposes a new model of communication in multiagent systems according to which the semantics of communication depends on their pragmatics. Since these pragmati...