619 search results - page 82 / 124 » Formal Methods Meet Domain Specific Languages |
DATE
2008
IEEE
13 years 9 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
ISOLA
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. The complexity of today's embedded systems and their development trajectories requires a systematic, model-driven design approach, supported by tooling wherever poss...
AAAI
2008
13 years 10 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
ICIP
2006
IEEE
14 years 9 months ago
2006
IEEE
The knowledge of material specific film grain characteristics can significantly improve the performance of digital film processing algorithms. This paper proposes a rapid and reli...
GECCO
2003
Springer
14 years 26 days ago
2003
Springer
Initial results have been achieved for automatic synthesis of MEMS system-level lumped parameter models using genetic programming and bond graphs. This paper first discusses the ne...