684 search results - page 65 / 137 » Model Bus: Towards the Interoperability of Modelling Tools |
IMAGING
2000
13 years 10 months ago
2000
Recent developments in spectral imaging are pointing toward a future where the demands on color management will require a richer infrastructure than that which is currently offere...
CSREAESA
2003
13 years 10 months ago
2003
We present an approach for Worst-Case Execution Time (WCET) Analysis of embedded system software, that is generated from Petri net specifications. The presented approach is part ...
MICCAI
2003
Springer
14 years 9 months ago
2003
Springer
Minimally invasive cardiac surgery is performed on the beating heart, through inter-costal ports. The two major limitations of these procedures are: selecting port locations for op...
WWW
2006
ACM
14 years 9 months ago
2006
ACM
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...
FAABS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...