Sciweavers

1664 search results - page 65 / 333
» Making a Case for Multi-Agent Systems
Sort
View
CVDB
2004
ACM
15 years 9 months ago
A Case Study on Array Query Optimisation
The development of applications involving multi-dimensional data sets on top of a RDBMS raises several difficulties that are not directly related to the scientific problem being ...
Roberto Cornacchia, Alex van Ballegooij, Arjen P. ...
RTAS
2003
IEEE
15 years 9 months ago
Probabilistic Worst-Case Response-Time Analysis for the Controller Area Network
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
Thomas Nolte, Hans Hansson, Christer Norström
IPPS
1998
IEEE
15 years 8 months ago
Network-Aware Distributed Computing: A Case Study
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...
Hongsuda Tangmunarunkit, Peter Steenkiste
CAV
1998
Springer
103views Hardware» more  CAV 1998»
15 years 8 months ago
You Assume, We Guarantee: Methodology and Case Studies
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...
Thomas A. Henzinger, Shaz Qadeer, Sriram K. Rajama...
GROUP
2007
ACM
15 years 5 months ago
From plans to planning: the case of nursing plans
Drawing on a critical perspective stemming from socially informed studies of medicine, we analyze an ongoing effort to establish electronic nursing plans at the university hospita...
Glenn Munkvold, Gunnar Ellingsen, Eric Monteiro