10159 search results - page 455 / 2032 » System Design Validation Using Formal Models |
128
click to vote
ETFA
2006
IEEE
15 years 10 months ago
2006
IEEE
—The International Electro-technical Commission through the 61499 standard establishes the basic infrastructure towards an open market in the control and automation domain. This ...
153
click to vote
SASO
2007
IEEE
15 years 11 months ago
2007
IEEE
— Designing and implementing artificial self-organizing systems is a challenging task since they typically behave nonintuitive and no theoretical foundations exist. Predicting a...
136
click to vote
FC
2007
Springer
15 years 11 months ago
2007
Springer
Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its a...
171
click to vote
WETICE
1996
IEEE
15 years 9 months ago
1996
IEEE
Communication and coordination play an important role in achieving concurrency in the design of large complex artifacts. It is also widely accepted that design is constraint orien...
187
click to vote
WAN
1998
Springer
15 years 8 months ago
1998
Springer
We present a model for the parallel performance of algorithms that consist of concurrent, two-dimensional wavefronts implemented in a message passing environment. The model combine...