43264 search results - page 8052 / 8653 » Comparing models of computation |
153
Voted
ISORC
2000
IEEE
15 years 9 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
120
click to vote
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
193
click to vote
SI3D
1999
ACM
15 years 9 months ago
1999
ACM
In the real world designers often use French curves or sweeps to create or edit curves to bring out a personal style or reflect a corporate standard in all their designs. A Frenc...
133
click to vote
HPDC
1999
IEEE
15 years 9 months ago
1999
IEEE
Efficient and robust metacomputing requires the decomposition of complex jobs into tasks that must be scheduled on distributed processing nodes. There are various ways of creating...
148
click to vote
HCW
1998
IEEE
15 years 9 months ago
1998
IEEE
A distributed, parallel implementation of the widely used Modular Semi-Automated Forces ModSAF Distributed Interactive Simulation DIS is presented, with Scalable Parallel Processo...