Sciweavers

4118 search results - page 712 / 824
» Mechanisms for usage control
Sort
View
ATAL
2008
Springer
15 years 6 months ago
Force Versus Majority: A Comparison in Convention Emergence Efficiency
In open societies such as multi-agent systems, it is important that coordination among the several actors is achieved efficiently. One economical way of capturing that aspiration ...
Paulo Urbano, João Balsa, Luis Antunes, Lu&...
CCS
2008
ACM
15 years 6 months ago
Avoiding timing channels in fixed-priority schedulers
A practically feasible modification to fixed-priority schedulers allows to avoid timing channels despite threads having access to precise clocks. This modification is rather simpl...
Marcus Völp, Claude-Joachim Hamann, Hermann H...
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 6 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
191
Voted
CIKM
2005
Springer
15 years 6 months ago
Fast on-line index construction by geometric partitioning
Inverted index structures are the mainstay of modern text retrieval systems. They can be constructed quickly using off-line mergebased methods, and provide efficient support for ...
Nicholas Lester, Alistair Moffat, Justin Zobel
DATE
2005
IEEE
120views Hardware» more  DATE 2005»
15 years 6 months ago
Simulation Methodology for Analysis of Substrate Noise Impact on Analog / RF Circuits Including Interconnect Resistance
This paper reports a novel simulation methodology for analysis and prediction of substrate noise impact on analog / RF circuits taking into account the role of the parasitic resis...
Charlotte Soens, Geert Van der Plas, Piet Wambacq,...