7557 search results - page 666 / 1512 » Modeling Timed Concurrent Systems |
176
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper explores a novel application of queuing theory to the corrective software maintenance problem to support quantitative balancing between resources and responsiveness. In...
186
click to vote
ICAS
2008
IEEE
16 years 1 months ago
2008
IEEE
A pattern-based approach to user interface development is presented that is explicitly based on artifacts contained in a task and a domain models. Exploiting a task model or a dom...
187
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...
169
click to vote
IANDC
2007
15 years 7 months ago
2007
ectly-synchronized round-based model provides the powerful abstraction of op failures with atomic and synchronous message delivery. This abstraction makes distributed programming ...
162
click to vote
ICRA
1995
IEEE
15 years 10 months ago
1995
IEEE
The control of nonholonomic and underactuated systems with symmetry is illustrated by the problem of controlling a bicycle. We derive a controller which, using steering and rear-w...