3765 search results - page 706 / 753 » Qualitative Action Systems |
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Current developments in processing data streams are based on the best-effort principle and therefore not adequate for many application areas. When sensor data is gathered by inte...
AGENTS
2001
Springer
15 years 4 months ago
2001
Springer
Recent years are seeing an increasing need for on-line monitoring of deployed distributed teams of cooperating agents, e.g., for visualization, or performance tracking. However, i...
127
click to vote
HPCA
1998
IEEE
15 years 4 months ago
1998
IEEE
Good network hardware performance is often squandered by overheads for accessing the network interface (NI) within a host. NIs that support user-level messaging avoid frequent ope...
108
click to vote
ISPW
1996
IEEE
15 years 4 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
133
click to vote
FORTE
1994
15 years 1 months ago
1994
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...