4520 search results - page 351 / 904 » Algebraic Techniques for Timed Systems |
197
Voted
CIA
2000
Springer
15 years 12 months ago
2000
Springer
This paper, which is expository in nature, investigates and illustrates the idea of using cybernetic system modeling techniques to model a multi-agent community. The cybernetic co...
207
click to vote
MCS
2008
Springer
15 years 7 months ago
2008
Springer
A stochastic numerical scheme for an extended immersed boundary method which incorporates thermal fluctuations for the simulation of microscopic biological systems consisting of fl...
190
click to vote
ICST
2009
IEEE
16 years 2 months ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
242
click to vote
CODES
2010
IEEE
15 years 5 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...
227
click to vote
COMPSAC
2002
IEEE
16 years 15 days ago
2002
IEEE
With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that...