2374 search results - page 295 / 475 » Automatic Generation of Model Translations |
158
click to vote
UML
2000
Springer
15 years 10 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
144
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. The methods of Invisible Invariants and Invisible Ranking were developed originally in order to verify temporal properties of parameterized systems in a fully automatic m...
142
click to vote
ANSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect...
152
click to vote
EHCI
2004
15 years 8 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...
138
click to vote
EMNLP
2008
15 years 8 months ago
2008
Predicting possible code-switching points can help develop more accurate methods for automatically processing mixed-language text, such as multilingual language models for speech ...