4460 search results - page 770 / 892 » Formal methods for interactive systems |
134
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
We develop a Belief-Desire-Intention (BDI) style agent-oriented programming language with special emphasis on the semantics of goals in the presence of the typical BDI failure han...
164
Voted
SIGCOMM
2006
ACM
15 years 9 months ago
2006
ACM
The success of Skype has inspired a generation of peer-topeer-based solutions for satisfactory real-time multimedia services over the Internet. However, fundamental questions, suc...
130
Voted
WIKIS
2006
ACM
15 years 9 months ago
2006
ACM
Wikipedia is the world’s largest collaboratively edited source of encyclopaedic knowledge. But in spite of its utility, its contents are barely machine-interpretable. Structural...
131
Voted
IUI
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
163
Voted
XMLSEC
2003
ACM
15 years 9 months ago
2003
ACM
Business Processes for Web Services are the new paradigm for the lightweight integration of business from different enterprises. Whereas the security and access control policies ...