Sciweavers

357 search results - page 51 / 72
» On Reversibility and Determinism in P Systems
Sort
View
HAPTICS
2009
IEEE
14 years 2 months ago
A low cost vibrotactile array to manage respiratory motion
We present a tactile Respiratory Management System (tRMS) to manage and control breathing patterns of cancer patients undergoing radiation therapy. The system comprises of an arra...
Ali Israr, Dillon P. Eng, Sastry S. Vedam, Marcia ...
FM
2003
Springer
104views Formal Methods» more  FM 2003»
14 years 19 days ago
Proving the Shalls
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
Steven P. Miller, Alan C. Tribble, Mats Per Erik H...
ICMAS
1998
13 years 8 months ago
A Market Protocol for Decentralized Task Allocation
We present a decentralized, asynchronous market protocol for allocating and scheduling tasks among agents that contend for scarce resources, constrained by a hierarchical task dep...
William E. Walsh, Michael P. Wellman
IQ
1996
13 years 8 months ago
Data Quality in Practice: Experience from the Front Line
Information, stored in databases, is a key competitive advantage of many companies. However, this importance does not imply that managers will view data as a strategic resource or...
Christopher P. Firth
DFMA
2005
IEEE
150views Multimedia» more  DFMA 2005»
14 years 1 months ago
Real-Time Treatment Planning Optimisation for Brachytherapy
In this paper, we present an integrated system for real-time dose distribution calculation and treatment planning optimisation for brachytherapy of prostate cancer, with a special...
Simon Chatelain, Jean-Philippe Thiran, Valery-Oliv...