302 search results - page 29 / 61 » An approach to synthesise safe systems |
113
Voted
CSUR
1999
15 years 3 days ago
1999
: Keeping multiple versions of the same electronic artifact is a necessity in many authoring fields, and a serious advantage in all of them. Hypermedia adds to that the issue of re...
116
click to vote
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
The behaviour of many systems is naturally modelled by a set of ordinary differential equations (ODEs) which are parametric. Since decisions are often based on relations over these...
108
click to vote
SAC
2011
ACM
14 years 3 months ago
2011
ACM
Quadrotor helicopters are micro air vehicles with vertical take-off and landing capabilities controlled by varying the rotation speed of four fixed pitch propellers. Due to their...
77
Voted
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Many language implementations, particularly for high-level and scripting languages, are based on carefully honed runtime systems that have an internally sequential execution model...
81
Voted
CHI
2008
ACM
16 years 25 days ago
2008
ACM
Increasing functionality, growing media volumes and dynamic data in today's in-vehicle information systems bear new challenges for user interaction design. Traditional hierar...