2374 search results - page 393 / 475 » Automatic Generation of Model Translations |
120
click to vote
JSS
2002
15 years 4 months ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
132
click to vote
TCAD
1998
15 years 4 months ago
1998
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
142
click to vote
DMS
2010
15 years 2 months ago
2010
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
136
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We propose the Arabic Chat Alphabet (ACA) as naturally written in everyday life for dialectal Arabic speech transcription. Our assumption is that ACA is a natural language that in...
191
click to vote
TFM
2009
Springer
15 years 11 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...