165 search results - page 23 / 33 » Safety Interfaces for Component-Based Systems |
MHCI
2009
Springer
14 years 1 months ago
2009
Springer
This paper charts the distinctive challenges of designing mobile experiences for cyclists and presents two studies of mobile cyclebased experiences: one a heritage tour; the other...
CONCURRENCY
1998
13 years 6 months ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...
APSEC
2007
IEEE
14 years 1 months ago
2007
IEEE
The coordination-policy that components interactions satisfied often determines the properties of nowadays component-based information systems, e.g. Safety, Liveness and Fairness ...
CDC
2010
IEEE
13 years 1 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
COMPSAC
2008
IEEE
14 years 1 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...