4520 search results - page 365 / 904 » Algebraic Techniques for Timed Systems |
189
click to vote
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...
223
click to vote
COMPSAC
2005
IEEE
15 years 9 months ago
2005
IEEE
Component-based software development (CBSD) offers many advantages like reduced product time to market, reduced complexity and cost etc. Despite these advantages its wide scale ut...
214
click to vote
ENTER
2008
Springer
15 years 9 months ago
2008
Springer
Conversational recommender systems have been introduced in Travel and Tourism applications in order to support interactive dialogues which assist users in acquiring their goals, e...
199
click to vote
JSA
2006
15 years 7 months ago
2006
Execution-driven simulation has become the primary method for evaluating architectural techniques as it facilitates rapid design space exploration without the cost of building pro...
189
click to vote
IEEECIT
2009
IEEE
16 years 2 months ago
2009
IEEE
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...