1784 search results - page 203 / 357 » Formal Models for Embedded System Design |
105
click to vote
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
105
click to vote
RTAS
2010
IEEE
14 years 8 months ago
2010
IEEE
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
ICWE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
DAC
2002
ACM
15 years 11 months ago
2002
ACM
This paper presents a high-level component-based methodology and design environment for application-specific multicore SoC architectures. Component-based design provides primitive...
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...