29082 search results - page 5274 / 5817 » The Time-Triggered Model of Computation |
228
click to vote
EPEW
2005
Springer
16 years 22 days ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
204
click to vote
ESA
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
163
click to vote
EUC
2005
Springer
16 years 21 days ago
2005
Springer
1 The reader collision problem occurs when the signal from one reader interferes with the signal from other readers. Solutions like RTS-CTS are not applicable because a reader may ...
194
click to vote
EUROCAST
2005
Springer
16 years 21 days ago
2005
Springer
Convergence is a central problem in both computer science and in population biology. Will a program terminate? Will a population go to an equilibrium? In general these questions ar...
183
click to vote
FOSSACS
2005
Springer
16 years 21 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...