726 search results - page 87 / 146 » Formal Verification and Validation of Interactive Systems Sp... |
147
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
This paper proposes a logic-oriented framework for institutional agents specification and analysis. Within this framework institutional agents are seen as artificial agents that a...
127
click to vote
JUCS
2008
15 years 4 months ago
2008
: The evaluation of interactive systems has been an active subject of research for many years. Many methods and tools have been proposed but most of them do not take architectural ...
107
click to vote
DSVIS
1995
Springer
15 years 8 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
143
click to vote
IUI
1997
ACM
15 years 8 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
187
click to vote
IHIS
2005
ACM
15 years 10 months ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...