Sciweavers

7311 search results - page 1260 / 1463
» Time in State Machines
Sort
View
LCPC
2009
Springer
15 years 10 months ago
A Communication Framework for Fault-Tolerant Parallel Execution
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
Nagarajan Kanna, Jaspal Subhlok, Edgar Gabriel, Es...
AGENTS
2001
Springer
15 years 10 months ago
Principles of intention reconsideration
We present a framework that enables a belief-desire-intention (BDI) agent to dynamically choose its intention reconsideration policy in order to perform optimally in accordance wi...
Martijn C. Schut, Michael Wooldridge
144
Voted
AIIA
2001
Springer
15 years 10 months ago
Characterising Concept's Properties in Ontologies
Abstract. This paper presents and motivates an extended ontology conceptual model which represents explicitly semantic information about concepts. This model results from explicitl...
Valentina A. M. Tamma, Trevor J. M. Bench-Capon
KI
2001
Springer
15 years 10 months ago
Belief Update in the pGOLOG Framework
High-level controllers that operate robots in dynamic, uncertain domains are concerned with at least two reasoning tasks dealing with the effects of noisy sensors and effectors: T...
Henrik Grosskreutz, Gerhard Lakemeyer
SACRYPT
2001
Springer
123views Cryptology» more  SACRYPT 2001»
15 years 10 months ago
Weaknesses in the Key Scheduling Algorithm of RC4
Abstract. Inthis paper we present several weaknesses in the keyscheduling algorithm of RC4, and describe their cryptanalytic signi cance. We identify a large number of weak keys, i...
Scott R. Fluhrer, Itsik Mantin, Adi Shamir
« Prev « First page 1260 / 1463 Last » Next »