Sciweavers

7430 search results - page 1275 / 1486
» Programming Applications in CIFF
Sort
View
IFIP
2009
Springer
15 years 11 months ago
Contextual Inquiry in Signal Boxes of a Railway Organization
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
Joke Van Kerckhoven, Sabine Geldof, Bart Vermeersc...
IFM
2009
Springer
107views Formal Methods» more  IFM 2009»
15 years 11 months ago
Realizability of Choreographies Using Process Algebra Encodings
Abstract. Service-oriented computing has emerged as a new programming paradigm that aims at implementing software applications which can be used through a network via the exchange ...
Gwen Salaün, Tevfik Bultan
ISEUD
2009
Springer
15 years 11 months ago
End-User Development of Enterprise Widgets
Companies are operating in a dynamic environment, resulting in a continuous need of adapting used information systems to changing business processes and associated information need...
Michael Spahn, Volker Wulf
122
Voted
MDM
2009
Springer
15 years 11 months ago
A Wireless Human Motion Capturing System for Home Rehabilitation
—Following the trend of miniature intelligent sensing, wearing small, integrated wireless sensor nodes, such as one with accelerometers and compasses, to capture human body motio...
Yu-Chee Tseng, Chin-Hao Wu, Fang-Jing Wu, Chi-Fu H...
MFCS
2009
Springer
15 years 11 months ago
Balanced Paths in Colored Graphs
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
Alessandro Bianco, Marco Faella, Fabio Mogavero, A...
« Prev « First page 1275 / 1486 Last » Next »