4350 search results - page 640 / 870 » Case studies for contract-based systems |
111
click to vote
SCS
2004
15 years 5 months ago
2004
Railways, like a lot of industries are becoming increasingly reliant on programmable technology for safety. The development of railway technology is however largely driven through...
174
click to vote
AVI
2010
15 years 5 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...
110
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
The efficiency of current cargo screening processes at sea and air ports is largely unknown as few benchmarks exists against which they could be measured. Some manufacturers provi...
127
click to vote
CCE
2007
15 years 4 months ago
2007
For systems where exact constitutive relations are unknown, a microscopic level description can be alternatively used. As microscopic simulations are computationally expensive, th...
120
click to vote
ENTCS
2007
15 years 4 months ago
2007
The hybrid χ (Chi) formalism is suited to modeling, simulation and verification of hybrid systems. It integrates concepts from dynamics and control theory with concepts from com...