2021 search results - page 186 / 405 » COCO: Composition Model and Composition Model Implementation |
179
click to vote
CGI
1998
IEEE
15 years 10 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
165
click to vote
JCP
2008
15 years 6 months ago
2008
The statistical analysis of Chinese stock market fluctuations modeled by the interacting particle systems has been done in this paper. The contact model and voter model of the inte...
178
click to vote
ICRA
2007
IEEE
16 years 23 days ago
2007
IEEE
Abstract— A number of conceptually simple but behaviorrich “inverted pendulum” humanoid models have greatly enhanced the understanding and analytical insight of humanoid dyna...
159
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
170
click to vote
IFM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...