Sciweavers

199 search results - page 35 / 40
» Interoperability of Medical Applications and Devices
Sort
View
KBSE
2009
IEEE
14 years 2 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
CSCW
2000
ACM
13 years 11 months ago
Evolution of Contact Point: a case study of a help desk and its users
This paper describes the evolution of a concept, Contact Point, the research process through which it evolved, and the work context and practices which drove its evolution. Contac...
Lena Mamykina, Catherine G. Wolf
MJ
2006
67views more  MJ 2006»
13 years 7 months ago
Review of CMOS image sensors
The role of CMOS Image Sensors since their birth around the 1960s, has been changing a lot. Unlike the past, current CMOS Image Sensors are becoming competitive with regard to Cha...
M. Bigas, Enric Cabruja, Josep Forest, Joaquim Sal...
CCECE
2006
IEEE
13 years 11 months ago
Modelling and Emulation of Multifractal Noise in Performance Evaluation of Mesh Networks
This paper describes a model and a setup for emulating fractal and multifractal noise for the measurement and evaluation of performance of ZigBee mesh networks intended for harsh ...
Lily Woo, Witold Kinsner, Ken Ferens, J. Diamond
PERCOM
2010
ACM
13 years 5 months ago
Sensor.Network: An open data exchange for the web of things
Abstract—Tiny, wireless, sensors embedded in a large number of Internet-capable devices–smart phones, cameras, cars, toys, medical instruments, home appliances and energy meter...
Vipul Gupta, Arshan Poursohi, Poornaprajna Udupi