443 search results - page 14 / 89 » A System Development Process with Event-B and the Rodin Plat... |
WIAS
2008
13 years 6 months ago
2008
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
BIS
2008
13 years 8 months ago
2008
Abstract. In order to realise complex service-based applications on system platforms for context-aware ubiquitous computing environments, mobile processes have been introduced to s...
BSN
2009
IEEE
13 years 11 months ago
2009
IEEE
— This work presents TEMPO (Technology-Enabled Medical Precision Observation) 3.1, a third generation body area sensor platform that accurately and precisely captures, processes,...
ICSEA
2009
IEEE
14 years 1 months ago
2009
IEEE
—In this paper, an integrated approach for cross platform automated software builds and the implementation of a test framework is described. The system introduced here utilizes s...
ICCAD
2004
IEEE
14 years 3 months ago
2004
IEEE
Microchip structures represent an attractive platform for microscale chemical processing of fluidic systems. However, standardized design methods for these devices have not yet b...