Sciweavers

2088 search results - page 317 / 418
» The SPARK Agent Framework
Sort
View
IFIP
2003
Springer
15 years 11 months ago
Testing Mobile Wireless Applications
A framework is described that can be used to build and test application-level software for wireless mobile computing. It emulates the physical mobility of wireless devices by usin...
Ichiro Satoh
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 10 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
WETICE
1996
IEEE
15 years 10 months ago
Role-based security for distributed object systems
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
Nicholas Yialelis, Emil Lupu, Morris Sloman
ECAI
1994
Springer
15 years 10 months ago
Coherent Social Action
Formal analyses of social action for Distributed A.I. (DAI) have focussed, almost exclusively, on scenarios in which participating agents have a joint intention to act. While such ...
Michael Wooldridge
BCSHCI
2007
15 years 7 months ago
Introducing the companions project: intelligent, persistent, personalised interfaces to the internet
The Companions project is a 4 year, EU funded Framework Programme 6 project involving a consortium of 16 partners across 8 countries. Its aim is to develop a personalised conversa...
David Benyon, Oli Mival