A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
Nicolas Dulac, Thomas Viguier, Nancy G. Leveson, M...
The operation and transit of emergency vehicles on an automated highway system (AHS) designed under the control architecture proposed in the California Partners for Advanced Transi...
Charmaine Toy, Kevin Leung, Luis Alvarez, Roberto ...
In educational settings, current digital technologies often work counter-productive because people using them experience separation and isolation. This paper describes a set of mul...
Jan Schneider, Jan Derboven, Kris Luyten, Chris Vl...
Personalisation and context-awareness are fundamental concerns in Telephony. This paper introduces a rule-based system - 4CRULES - which enables context-sensitive call control by t...
David Lesaint, Deepak Mehta, Barry O'Sullivan, Lui...
A key objective for ubiquitous environments is to enable system interoperability between system’s components that are highly heterogeneous. In particular, the challenge is to emb...