1187 search results - page 136 / 238 » A Timed Calculus for Wireless Systems |
170
click to vote
GIS
2009
ACM
15 years 9 months ago
2009
ACM
Data warehouses and On-Line Analytical Processing (OLAP) provide an analysis framework supporting the decision making process. In many application domains, complex analysis tasks ...
147
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
102
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
148
click to vote
IJISEC
2007
15 years 4 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
147
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
- In this paper, we present an adaptive channel estimation scheme for IEEE 802.16-2004 Wireless Metropolitan Area Network (a.k.a. WiMAX) in the case that the channel impulse respon...