2374 search results - page 146 / 475 » Automatic Generation of Model Translations |
168
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally ad...
158
click to vote
ACL
1997
15 years 7 months ago
1997
Several recent efforts in statistical natural language understanding (NLU) have focused on generating clumps of English words from semantic meaning concepts (Miller et al., 1995; ...
166
click to vote
VLSID
2009
IEEE
16 years 7 months ago
2009
IEEE
We present the automatic test pattern generator TIGUAN based on a thread-parallel SAT solver. Due to a tight integration of the SAT engine into the ATPG algorithm and a carefully ...
158
click to vote
AH
2006
Springer
16 years 14 days ago
2006
Springer
The growth of available personalization services and the heterogeneity in content and representation of therein exploited User Models (UMs), raise a need for a mechanism allowing t...
153
click to vote
IPCCC
2006
IEEE
16 years 15 days ago
2006
IEEE
We present an approach to the question of evaluating worm defenses against future, yet unseen and possibly defense-aware worm behavior. Our scheme employs model checking to produc...