13791 search results - page 2545 / 2759 » Modeling Web Interactions |
201
Voted
MATES
2005
Springer
16 years 16 days ago
2005
Springer
One aspect of rational behavior is that agents can pursue multiple goals in parallel. Current BDI theory and systems do not provide a theoretical or architectural framework for dec...
236
Voted
NOSSDAV
2005
Springer
16 years 16 days ago
2005
Springer
The cost savings and novel features associated with Voice over IP (VoIP) are driving its adoption by service providers. Such a transition however can successfully happen only if t...
192
Voted
PATMOS
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Modern embedded devices (e.g. PDAs, mobile phones) are now incorporating Java as a very popular implementation language in their designs. These new embedded systems inclu...
153
Voted
PCM
2005
Springer
16 years 16 days ago
2005
Springer
In this paper, we propose Responsive Multimedia System (RMS) for a virtual storytelling. It consists of three key components; Multi-modal Tangible User Interface (MTUI), a Unified ...
175
Voted
PPDP
2005
Springer
16 years 16 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...