1187 search results - page 37 / 238 » A Timed Calculus for Wireless Systems |
136
Voted
TGC
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present a tool developed for fostering probabilistic model checking of services formally specified in Scows, a stochastic enrichment of the Calculus for Orchestration ...
114
click to vote
ISCAS
2005
IEEE
15 years 9 months ago
2005
IEEE
– The trend in communication systems is towards more rapidly changing specifications with shorter time intervals between updates of existing standards. This results in a coexiste...
122
click to vote
GI
2005
Springer
15 years 9 months ago
2005
Springer
: It is well known that dynamic OFDMA systems potentially increase the spectral efficiency of wireless systems. They exploit diversity effects in time, space, and frequency by ass...
102
Voted
PADS
2000
ACM
15 years 8 months ago
2000
ACM
In this paper, we introduce a new Time Warp system called ROSS: Rensselaer’s Optimistic Simulation System. ROSS is an extremely modular kernel that is capable of achieving event...
121
Voted
ISSS
1996
IEEE
15 years 7 months ago
1996
IEEE
Traditionally, application specific computations have been focusing on numerically intensive data manipulation. Modern communications and DSP applications, such as WWW, interactiv...