664 search results - page 26 / 133 » Building continuous webbed models for system F |
UM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Economic modeling provides a formal mechanism to understand user incentives and behavior in online systems. In this paper we describe the process of building a parameteri...
CCGRID
2001
IEEE
15 years 1 months ago
2001
IEEE
Global Computing achieves high throughput computing by harvesting a very large number of unused computing resources connected to the Internet. This parallel computing model target...
FBT
1998
14 years 11 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
66
Voted
ISCAS
2006
IEEE
15 years 3 months ago
2006
IEEE
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...
BTW
2007
Springer
15 years 3 months ago
2007
Springer
Abstract: The data on the web, in digital libraries, in scientific repositories, etc. continues to grow at an increasing rate. Distribution is a key solution to overcome this data...