1054 search results - page 143 / 211 » Models for automatic generation of safety-critical real-time... |
131
click to vote
EDOC
2008
IEEE
15 years 3 months ago
2008
IEEE
Model Driven Development (MDD) aims to promote the role of modeling in Software Engineering. Enterprise systems and architectures are often modeled via multiple representations. F...
135
click to vote
IAT
2008
IEEE
15 years 8 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
118
click to vote
CBMS
2006
IEEE
15 years 8 months ago
2006
IEEE
A rule-based Decision Support System is presented for the diagnosis of Coronary Artery Disease. The generation of the decision support system is realized automatically using a thr...
129
click to vote
COOP
2004
15 years 3 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
131
click to vote
SBMF
2009
Springer
15 years 8 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...