1703 search results - page 285 / 341 » Model interoperability via Model Driven Development |
147
click to vote
APN
2000
Springer
15 years 6 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
130
Voted
MICCAI
2000
Springer
15 years 6 months ago
2000
Springer
In image-guided neurosurgery, "mixed reality" merging has been used to merge video images with an underlying computer model. We have developed methods to map intra-operat...
101
click to vote
ACE
2003
15 years 3 months ago
2003
This paper provides a first account of1 the Building the Internet Workforce project. A number of further papers are planned. An outline of the project’s progress and outcomes is...
EOR
2008
15 years 2 months ago
2008
A new network has been recently proposed for the provision of fixed broadband services via high altitude platform stations (HAPS) in the 48/47 GHz band. One of the critical issues...
113
click to vote
DC
2006
15 years 2 months ago
2006
We consider the problem of how to schedule t similar and independent tasks to be performed in a synchronous distributed system of p stations communicating via multiple-access chan...