5113 search results - page 129 / 1023 » Model-integrated system development: models, architecture, a... |
188
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symmetry reduction is a technique to alleviate state explosion in model checking by replacing a model of replicated processes with a bisimilar quotient model. The size of...
177
click to vote
IJHPCA
2006
15 years 6 months ago
2006
The purpose of GridSolve is to create the middleware necessary to provide a seamless bridge between the simple, standard programming interfaces and desktop systems that dominate t...
147
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
The support of mobile workers with mobile IT solutions can create dremendous improvements in mobile business processes of a company. The main charateristic of such a mobile system ...
223
click to vote
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
Stream applications gained significant popularity over the last years that lead to the development of specialized stream engines. These systems are designed from scratch with a di...
191
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
In system-level platform-based embedded systems design, the mapping model is a crucial link between the application model and the architecture model. All three models must match w...