462 search results - page 59 / 93 » Applying UML and MDA to Real Systems Design |
176
click to vote
AUTOMATICA
2005
15 years 6 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
183
click to vote
ASPDAC
2001
ACM
15 years 9 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
155
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
— A limiting property of the matrix exponential is proven: For a real square matrix, where the log norm of the upper-left n by n block approaches negative infinity in a limiting...
152
click to vote
IPPS
2008
IEEE
16 years 18 days ago
2008
IEEE
Many of the optimization problems from the real world are multiobjective in nature, and the reference algorithm for multiobjective optimization is NSGA-II. Frequently, these probl...
182
click to vote
ENTER
2008
Springer
15 years 8 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...