43264 search results - page 8188 / 8653 » Comparing models of computation |
149
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
: This paper describes the practical implementation of a federated health record server based on a generic and comprehensive architecture, deployed in a live clinical setting and a...
150
click to vote
ICCS
2004
Springer
16 years 7 days ago
2004
Springer
Particle compound material is the composition of different particles with inhomogeneous and non-uniform properties. Particle compound material is the most complicated engineering m...
169
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
173
click to vote
ICMI
2004
Springer
16 years 7 days ago
2004
Springer
This paper reports on an NSF-funded effort now underway to integrate three learning technologies that have emerged and matured over the past decade; each has presented compelling ...
223
click to vote
ICSOC
2004
Springer
16 years 7 days ago
2004
Springer
Emerging Web services standards enable the development of large-scale applications in open environments. In particular, they enable services to be dynamically bound. However, curr...