10289 search results - page 383 / 2058 » Standard bases in K |
163
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Abstract. The standard serial algorithm for strongly connected components is based on depth rst search, which is di cult to parallelize. We describe a divide-and-conquer algorithm ...
191
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we first present a model to analyze the average and standard deviation of the delay in a 802.11e EDCA WLAN under voice traffic. Next, based on this model, we compute ...
200
click to vote
ACSC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...
138
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we propose a Web Services based solution to exchange learner's information among different elearning systems described following a Web Ontology. The Web Service...
151
Voted
EUROCRYPT
2006
Springer
15 years 10 months ago
2006
Springer
The standard security definition of unconditional secure function evaluation, which is based on the ideal/real model paradigm, has the disadvantage of being overly complicated to w...