4930 search results - page 226 / 986 » Testing a Safety-Critical Application |
141
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: Over time, large scale pickup and delivery providers acquire considerable amounts of data on customer orders, including order times, amount and configurations of freight, as well...
166
click to vote
JORS
2011
14 years 9 months ago
2011
: Transportation is an important part of the Canadian furniture industry supply chain. Even though there are often several manufacturers shipping in the same market region, coordin...
279
click to vote
ERCIMDL
2011
Springer
14 years 6 months ago
2011
Springer
In the information retrieval context, resource collections are frequently classified using thesauri. However, the limited semantics provided by thesauri restricts the collection s...
179
click to vote
OOPSLA
2005
Springer
16 years 2 days ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
141
click to vote
ACSD
2001
IEEE
15 years 10 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...