4008 search results - page 717 / 802 » An expressive language of signatures |
HLPPP
1991
14 years 1 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...
VLDB
1991
ACM
14 years 1 months ago
1991
ACM
It is widely recognized that production rules in database systems can be used to automatically maintain derived data such as views. However, writing a correct set of rules for e ci...
VLDB
1991
ACM
14 years 1 months ago
1991
ACM
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
AAAI
2008
14 years 20 days ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
APSEC
2008
IEEE
14 years 10 days ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...