29143 search results - page 435 / 5829 » A Sortation System Model |
152
click to vote
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
A 3-dimensional finite element algorithm for modeling nonlinear frictional contact behaviours between deformable bodies with the node-to-point contact element strategy has been pro...
152
click to vote
ICECCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Developers of complex systems have to address concerns such as security, availability of services, and timeliness that often are non-orthogonal to traditional design structures, t...
188
click to vote
ARTS
1999
Springer
15 years 11 months ago
1999
Springer
In this paper we study the issue of progress for distributed timed systems modeled as the parallel composition of timed automata. We clarify the requirements of discrete progress (...
175
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
189
click to vote
IJON
2000
15 years 6 months ago
2000
We present a software package for the simulation of very large neuronal networks on parallel computers. The package can be run on any system with an implementation of the Message ...