466 search results - page 21 / 94 » Critical Reasoning |
JTRES
2010
ACM
13 years 9 months ago
2010
ACM
Safety-Critical Java (SCJ) is a dialect of Java that allows programmers to implement safety-critical systems, such as software to control airplanes, medical devices, and nuclear p...
VMV
2003
13 years 10 months ago
2003
In this paper we propose a new topology based metric for 2D vector fields. This metric is based on the concept of feature flow fields. We show that it incorporates both the cha...
ICSE
2003
IEEE-ACM
14 years 1 months ago
2003
IEEE-ACM
There is wide agreement that architecture plays a prominent role in large, complex software systems. Selection of an appropriate architecture – one that matches the system requi...
SYNTHESE
2008
13 years 8 months ago
2008
Hitchcock advances a diachronic Dutch Book argument (DDB) for a 1/3 answer to the Sleeping Beauty problem. Bradley and Leitgeb argue that Hitchcock's DDB argument fails. We de...
ENTCS
2007
13 years 8 months ago
2007
Safety is an important requirement for many modern systems. To ensure safety of complex critical systems, well-known safety analysis methods have been formalized. This holds in pa...