3256 search results - page 489 / 652 » Applications of Formal Methods to System Design and Verifica... |
104
click to vote
JCP
2008
14 years 10 months ago
2008
In sensor networks, continuous query is commonly used for collecting periodical data from the objects under monitoring. This sort of queries needs to be carefully designed, in orde...
75
Voted
EWLR
1997
Springer
15 years 2 months ago
1997
Springer
Building robots can be a tough job because the designer has to predict the interactions between the robot and the environment as well as to deal with them. One solution to cope the...
WWW
2007
ACM
15 years 11 months ago
2007
ACM
Syndication systems on the Web have attracted vast amounts of attention in recent years. As technologies have emerged and matured, there has been a transition to more expressive s...
VTC
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper presents a downlink performance analysis of a Layered Random Beamforming (LRB) - MIMO-OFDMA Physical Layer (PHY) as applicable to future generation wireless communica...
94
Voted
BMCBI
2005
14 years 10 months ago
2005
Background: The large gap between the number of protein sequences in databases and the number of functionally characterized proteins calls for the development of a fast computatio...