Sciweavers

80 search results - page 16 / 16
» ifip 2009
Sort
View
IFIP12
2009
13 years 2 months ago
Unification of Heterogeneous Data Towards the Prediction of Oral Cancer Reoccurrence
Oral cancer is the predominant neoplasm of the head and neck. Annually, more than 500.000 new cases of oral cancer are reported, worldwide. After the initial treatment of cancer an...
Costas P. Exarchos, Yorgos Goletsis, Dimitrios I. ...
IFIP
2009
Springer
13 years 11 months ago
Trusted Multiplexing of Cryptographic Protocols
Abstract. We present an analysis that determines when it is possible to multiplex a pair of cryptographic protocols. We present a transformation that improves the coverage of this ...
Jay A. McCarthy, Shriram Krishnamurthi
IFIP12
2009
13 years 2 months ago
An Expert System Based on Parametric Net to Support Motor Pump Multi-Failure Diagnostic
Abstract Early failure detection in motor pumps is an important issue in prediction maintenance. An efficient condition-monitoring scheme is capable of providing warning and predic...
Flavia Cristina Bernardini, Ana Cristina Bicharra ...
FMAM
2010
223views Formal Methods» more  FMAM 2010»
13 years 2 months ago
Agile Formality: A Mole of Software Engineering Practices
: Members of the agile programming and formal methods communities do not always see eye-to-eye. These two communities often do not talk to or learn from each other. Only recently, ...
Vieri del Bianco, Dragan Stosic, Joseph R. Kiniry
CHI
2009
ACM
13 years 9 months ago
StoryBank: mobile digital storytelling in a development context
Mobile imaging and digital storytelling currently support a growing practice of multimedia communication in the West. In this paper we describe a project which explores their bene...
David M. Frohlich, Dorothy Rachovides, Kiriaki Rig...