7557 search results - page 243 / 1512 » Modeling Timed Concurrent Systems |
167
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
As its name promises, the Unified Modeling Language (UML) provides a collection of diagrammatic modeling styles. To the early class/objects and use-case diagrams were almost immed...
164
click to vote
RTSS
2000
IEEE
15 years 11 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
162
click to vote
TMI
2008
15 years 6 months ago
2008
We describe the application of a time domain diffuse fluorescence tomography system for whole body small animal imaging. The key features of the system are the use of point excitat...
188
click to vote
RSS
2007
15 years 8 months ago
2007
— In this paper we present an implicit time-stepping scheme for multibody systems with intermittent contact by incorporating the contact constraints as a set of complementarity a...
208
click to vote
ADHOCNOW
2004
Springer
15 years 12 months ago
2004
Springer
Consider k particles, 1 red and k −1 white, chasing each other on the nodes of a graph G. If the red one catches one of the white, it “infects” it with its color. The newly ...