4799 search results - page 727 / 960 » Model Based Requirements Engineering for Embedded Software |
158
click to vote
FSEN
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
176
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
187
click to vote
SERP
2004
15 years 8 months ago
2004
Model-Driven Development (MDD) represents a positive step toward a general model-based approach to software engineering. The Object Management Group (OMG) offers a conceptual fram...
191
click to vote
DAC
2005
ACM
16 years 7 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...
176
click to vote
INFOVIS
2005
IEEE
16 years 3 days ago
2005
IEEE
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...