3884 search results - page 590 / 777 » A simplified modeling approach for human system interaction |
107
click to vote
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
104
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
—The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents’ behaviour and norm...
103
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
EMFGormas1 is a new approach for modeling Service-oriented Open Multiagent Systems using the MDA Eclipse Technology. It offers a CASE tool based on an unified meta-model for engin...
133
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
System-level and Platform-based design, along with Transaction Level modeling (TLM) techniques and languages like SystemC, appeared as a response to the ever increasing complexity...
104
click to vote
SIGDOC
2009
ACM
15 years 8 months ago
2009
ACM
To see whether, from the user’s standpoint, muddling through with trial-and-error exploration of the interface actually works as well as consulting help, we analyzed video recor...