1525 search results - page 279 / 305 » Formal Models for Communication-Based Design |
107
Voted
MOBILITY
2009
ACM
15 years 5 months ago
2009
ACM
Main requirement of recent computing environments, like mobile and then ubiquitous computing, is to adapt applications to context. On the other hand, access control generally trus...
118
Voted
AGENTS
2001
Springer
15 years 5 months ago
2001
Springer
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
104
Voted
ECAIW
1994
Springer
15 years 4 months ago
1994
Springer
The concept of an agent has recently become important in Artificial Intelligence (AI), and its relatively youthful subfield, Distributed AI (DAI). Our aim in this paper is to poin...
SIGMOD
1989
ACM
15 years 4 months ago
1989
ACM
The HiPAC project is investigating active, time-constrained databasemanagment. An active DBMS is one which automatically executes specified actions when speciifed conditions arise...
102
click to vote
ICECCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....