Sciweavers

4076 search results - page 670 / 816
» A framework for developing distributed location based applic...
Sort
View
ECAI
2010
Springer
14 years 11 months ago
Foundations of Tree-like Local Model Updates
Abstract. Model update is an approach to enhance model checking functions by providing computer aided modifications in system development [2, 9]. It has been observed that one majo...
Yan Zhang, Michael Kelly, Yi Zhou
CSDA
2008
128views more  CSDA 2008»
14 years 10 months ago
Assessing agreement of clustering methods with gene expression microarray data
In the rapidly evolving field of genomics, many clustering and classification methods have been developed and employed to explore patterns in gene expression data. Biologists face...
Xueli Liu, Sheng-Chien Lee, George Casella, Gary F...
ENTCS
2006
160views more  ENTCS 2006»
14 years 10 months ago
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Monitoring-oriented programming (MOP) is a software development and analysis technique in which monitoring plays a fundamental role. MOP users can add their favorite or domain-spe...
Feng Chen, Marcelo d'Amorim, Grigore Rosu
ADHOC
2005
114views more  ADHOC 2005»
14 years 10 months ago
Clock synchronization for wireless sensor networks: a survey
Recent advances in micro-electromechanical (MEMS) technology have led to the development of small, lowcost, and low-power sensors. Wireless sensor networks (WSNs) are large-scale ...
Bharath Sundararaman, Ugo Buy, Ajay D. Kshemkalyan...
GI
2009
Springer
14 years 7 months ago
Control and safety architecture for a modular medical robot
: In this paper a new approach for a control and safety architecture for a modular task adaptable medical robot is described. The concept has been evaluated with the MINARO robot, ...
Alexander Korff, Martin Niggemeyer, Matías ...