Abstract— For stochastic hybrid systems, stochastic reachability is very little supported mainly because of complexity and difficulty of the associated mathematical problems. In...
Software Engineering Environments (SEEs) are systems designed to support software development and maintenance, and also for supporting project control and management. They provide ...
Ricardo de Almeida Falbo, Fabiano Borges Ruy, Rodr...
—Service-oriented architecture (SOA) provides the flexibility of dynamically composing business processes in enterprise computing. However, they must be enhanced to support real...
We present a prototype system aimed at providing spoken dialogue support for complex procedures aboard the International Space Station. The system allows navigation one line at a ...
Gregory Aist, John Dowding, Beth Ann Hockey, Manny...
: Integrated model-based specification techniques facilitate the definition of seamless development processes for electronic control units (ECUs) including support for domain speci...