Sciweavers

1346 search results - page 146 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
BCS
2008
15 years 8 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
CORR
2006
Springer
154views Education» more  CORR 2006»
15 years 6 months ago
Intra-site Level Cultural Heritage Documentation: Combination of Survey, Modeling and Imagery Data in a Web Information System
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
Anne Durand, Pierre Drap, Elise Meyer, Pierre Grus...
TSP
2008
115views more  TSP 2008»
15 years 6 months ago
Sinusoidal Modeling and Adaptive Channel Prediction in Mobile OFDM Systems
We propose a wireless fading channel prediction algorithm for a pilot-symbol aided Orthogonal Frequency Division Multiplexing (OFDM) system. Assuming a doubly selective (time and ...
Ian C. Wong, Brian L. Evans
HICSS
2003
IEEE
193views Biometrics» more  HICSS 2003»
15 years 11 months ago
Ambient computing applications: an experience with the SPREAD approach
Todays, we assist to the explosive development of mobile computing devices like PDAs and cell-phones, the integration of embedded intelligence (like Web server) in more and more c...
Paul Couderc, Michel Banâtre
IROS
2007
IEEE
100views Robotics» more  IROS 2007»
16 years 24 days ago
Roughness feeling telepresence system on the basis of real-time estimation of surface wavelengths
Abstract— Tactile telepresence has been expected to be technology which encourages operators of robotic systems to remotely maneuver objects or recognize materials being touched ...
Shogo Okamoto, Masashi Konyo, Takashi Maeno, Satos...