3299 search results - page 332 / 660 » A general mathematics of names |
179
click to vote
ICDCS
2005
IEEE
16 years 10 days ago
2005
IEEE
The design of the access networks of next generation broadband wireless systems requires special attention in the light of changing network characteristics. In this paper, we pres...
177
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
222
click to vote
IHIS
2005
ACM
16 years 8 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
172
click to vote
PEWASUN
2005
ACM
16 years 8 days ago
2005
ACM
This paper examines several MANET behaviors and suggests root causes using a stochastic model of received power. It focuses specifically on MANET mechanisms most impacted by fin...
141
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
A critical optimization in the domain of linear signal transforms, such as the discrete Fourier transform (DFT), is loop merging, which increases data locality and reuse and thus ...