Sciweavers

853 search results - page 136 / 171
» A supporting system for verification among models of the UML
Sort
View
DATE
2009
IEEE
131views Hardware» more  DATE 2009»
14 years 2 months ago
Communication minimization for in-network processing in body sensor networks: A buffer assignment technique
—Body sensor networks are emerging as a promising platform for healthcare monitoring. These systems are composed of battery-operated embedded devices which process physiological ...
Hassan Ghasemzadeh, Nisha Jain, Marco Sgroi, Roozb...
NCA
2008
IEEE
14 years 2 months ago
Quicksilver Scalable Multicast (QSM)
QSM is a multicast engine designed to support a style of distributed programming in which application objects are replicated among clients and updated via multicast. The model req...
Krzysztof Ostrowski, Ken Birman, Danny Dolev
HCW
1998
IEEE
14 years 1 days ago
On the Interaction between Mobile Processes and Objects
Java's remote method invocation mechanism provides a number of features that extend the functionality of traditional client server-based distributed systems. However, there a...
Suresh Jagannathan, Richard Kelsey
ETRA
2010
ACM
221views Biometrics» more  ETRA 2010»
14 years 2 months ago
Advanced gaze visualizations for three-dimensional virtual environments
Gaze visualizations represent an effective way for gaining fast insights into eye tracking data. Current approaches do not adequately support eye tracking studies for three-dimens...
Sophie Stellmach, Lennart Nacke, Raimund Dachselt
BMCBI
2008
121views more  BMCBI 2008»
13 years 8 months ago
Modularization of biochemical networks based on classification of Petri net t-invariants
Background: Structural analysis of biochemical networks is a growing field in bioinformatics and systems biology. The availability of an increasing amount of biological data from ...
Eva Grafahrend-Belau, Falk Schreiber, Monika Heine...