Sciweavers

1472 search results - page 110 / 295
» Technique Integration for Requirements Assessment
Sort
View
SEKE
2001
Springer
15 years 10 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
AINA
2009
IEEE
16 years 26 days ago
Multi-node Processing for Asymmetrical Communications in Underwater Acoustic Networks
— Underwater acoustic communication networks have attracted attention for its applications in many areas such as mine warfare, rapid environmental assessment or search and rescue...
Antonio Silva, Julien Huillery, Sergio M. Jesus
BILDMED
2007
107views Algorithms» more  BILDMED 2007»
15 years 7 months ago
Interactive Guidance System for C-Arm Repositioning Without Radiation
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...
Tassilo Klein, Selim Benhimane, Jörg Traub, S...
ICWN
2004
15 years 7 months ago
QoS Support in Wireless Sensor Networks: A Survey
In this paper, we assess the state of the art of Quality of Services (QoS) support in wireless sensor networks (WSNs). Unlike traditional end-to-end multimedia applications, many n...
Dazhi Chen, Pramod K. Varshney
TPDS
2010
142views more  TPDS 2010»
15 years 4 months ago
An Identity-Based Security System for User Privacy in Vehicular Ad Hoc Networks
Abstract—Vehicular Ad Hoc Network (VANET) can offer various services and benefits to users and thus deserves deployment effort. Attacking and misusing such network could cause d...
Jinyuan Sun, Chi Zhang, Yanchao Zhang, Yuguang Fan...