Sciweavers

FMICS
2008
Springer
14 years 21 days ago
Using CSP||B Components: Application to a Platoon of Vehicles
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Je...
CANDC
2007
ACM
14 years 3 months ago
Tool support for creativity using externalizations
Within the creativity community, researchers and practitioners have developed and studied various support tools and environments. It is important to learn from these tools and env...
Andrew Warr, Eamonn O'Neill
SGAI
2007
Springer
14 years 5 months ago
Supporting Temporal Information in Medical Care Planning
The problems associated with planning and managing patient treatment through complex care settings are significant. It has long been realised that support tools are invaluable in ...
Kirsty Bradbrook, Graham Winstanley