2850 search results - page 277 / 570 » On Timed Models and Full Abstraction |
184
click to vote
OTM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
206
click to vote
DALT
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
160
click to vote
ICCS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We present a physical, laboratory-scale analog of large-scale atmospheric circulation and develop an observatory for it. By combining observations of a hydro-dynamically ...
200
click to vote
PVM
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. HeteroMPI is an extension of MPI designed for high performance computing on heterogeneous networks of computers. The recent new feature of HeteroMPI is the optimized vers...
189
Voted
ICANN
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We have built a realistic computational model of the cerebellum. This model simulates the cerebellar cortex of the size 0.5mm×1mm consisting of several types of neurons,...