16218 search results - page 283 / 3244 » Standards |
190
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 ...
198
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...
175
click to vote
AUIC
2004
IEEE
15 years 10 months ago
2004
IEEE
Developers have long used pictures to aid design activities and there has been a lot of interest in standard notations for design. We have developed delegation diagrams, a graphic...
166
Voted
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we give a symbolic concurrent semantics for network of timed automata (NTA) in terms of extended symbolic nets. Extended symbolic nets are standard occurrence nets ex...
136
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...