1445 search results - page 148 / 289 » Uniformly Hard Languages |
140
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
133
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Programming distributed data-intensive web and mobile applications is gratuitously hard. As the world is moving more and more towards the software as services model, we have to co...
EXPDB
2006
ACM
15 years 10 months ago
2006
ACM
A substantial part of the database research field focusses on optimizing XQuery evaluation. However, optimization techniques are rarely validated by means of cross platform bench...
144
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Speech enabled interfaces and spoken dialog systems are mostly based on statistical speech and language processing modules. Their behavior is therefore not deterministic and hardl...
120
Voted
ICTAI
2005
IEEE
15 years 9 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...