805 search results - page 148 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
111
click to vote
FM
2005
Springer
15 years 8 months ago
2005
Springer
Many safety-critical software applications are hard real-time systems. They have stringent timing requirements that have to be met. We present a description of timing behaviour tha...
122
click to vote
AAMAS
2004
Springer
15 years 2 months ago
2004
Springer
Our goal in this paper is to introduce and motivate a methodology, called Tropos,1 for building agent oriented software systems. Tropos is based on two key ideas. First, the notion...
119
click to vote
DATE
2003
IEEE
15 years 8 months ago
2003
IEEE
System design methodology is poised to become the next big enabler for highly sophisticated electronic products. Design verification continues to be a major challenge and simulat...
139
click to vote
COMPUTER
2007
15 years 2 months ago
2007
and therefore should be implemented outside the sensory-motor system. This way, meaning for a concept amounts to the content of a symbolic expression, a definition of the concept ...
152
click to vote
AI
2002
Springer
15 years 2 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...