Sciweavers

16666 search results - page 2694 / 3334
» Descriptive and Computational Complexity
Sort
View
SPRINGSIM
2007
15 years 8 months ago
Eve: a measurement-centric emulation environment for adaptive internet servers
Emulation plays a central role in the performance evaluation, capacity planning, and workload characterization of servers and data centers. Emulation tools usually require develop...
Hani Jamjoom, Chang-Hao Tsai, Kang G. Shin, Sharad...
WOTUG
2007
15 years 8 months ago
A Process Oriented Approach to USB Driver Development
Abstract. Operating-systems are the core software component of many modern computer systems, ranging from small specialised embedded systems through to large distributed operating-...
Carl G. Ritson, Fred R. M. Barnes
ATAL
2010
Springer
15 years 8 months ago
An architecture for modular distributed simulation with agent-based models
Agent-based simulations are an increasingly popular means of exploring and understanding complex social systems. In order to be useful, these simulations must capture a range of a...
David Scerri, Alexis Drogoul, Sarah L. Hickmott, L...
ATAL
2010
Springer
15 years 8 months ago
Alternating-time dynamic logic
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...
Nicolas Troquard, Dirk Walther
ICFP
2010
ACM
15 years 8 months ago
Distance makes the types grow stronger: a calculus for differential privacy
We want assurances that sensitive information will not be disclosed when aggregate data derived from a database is published. Differential privacy offers a strong statistical guar...
Jason Reed, Benjamin C. Pierce
« Prev « First page 2694 / 3334 Last » Next »