5113 search results - page 363 / 1023 » Model-integrated system development: models, architecture, a... |
174
click to vote
EGC
2005
Springer
16 years 10 days ago
2005
Springer
This paper describes a research project about robot control across a computing Grid, first step toward a Grid solution for generic process control. A computational Grid can signi...
178
click to vote
QEST
2005
IEEE
16 years 12 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
179
click to vote
OOIS
2001
Springer
15 years 11 months ago
2001
Springer
Ontology is a comprehensive knowledge model which enables the developer to practice a “higher” level of reuse of knowledge. Typically, different modeling languages are employe...
188
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
193
click to vote
MTV
2003
IEEE
16 years 2 days ago
2003
IEEE
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...